Rabbit Hole without looking glass

[Deleted member 4993]

If any body is interested in Godels work - please read:

https://www.quantamagazine.org/how-godels-incompleteness-theorems-work-20200714/#

 

[HallsofIvy]

This article, like most, asserts that Godel proved that "there are some true statements that cannot be proved". I have always disliked that phrasing since it assumes that there is a notion of "true" for mathematical statements independent of proof. I prefer to say that Godel proved that "Given any set of axioms, there exist some statements that can be neither proven nor disproven".

 

[Deleted member 4993]

This article, like most, asserts that Godel proved that "there are some true statements that cannot be proved". I have always disliked that phrasing since it assumes that there is a notion of "true" for mathematical statements independent of proof. I prefer to say that Godel proved that "Given any set of axioms, there exist some statements that can be neither proven nor disproven".

"I prefer to say that Godel proved that "Given any set of axioms, there exist some statements that can be neither proven nor disproven".

That's the agnostic view and matches mine.