![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
juan_gandhiLike, here, on mathoverflow .
Leinster wrote in 2012: "rethinking".
People went crazy.
And it seems like nobody fucking knows there's a difference between a theory and a model.
That's how Chaitin was stating that there are "mathematical truths" that are true but don't follow from axioms.
For god's sake, it's been 90 years since Gödel explained it all. And? Anybody asked, how come ZFC is not based on ZFC? (sigh)
Leinster wrote in 2012: "rethinking".
People went crazy.
And it seems like nobody fucking knows there's a difference between a theory and a model.
That's how Chaitin was stating that there are "mathematical truths" that are true but don't follow from axioms.
For god's sake, it's been 90 years since Gödel explained it all. And? Anybody asked, how come ZFC is not based on ZFC? (sigh)
