[snarks_when_bored]

Gödel ping

I've pinged everybody who showed up on any of the four earlier threads I've posted on Gödel, with the idea that a previously displayed interest might be a reliable sign of continuing interest.

[BykrBayb]

Thanks for the ping. Bumping for later reading.

[D-fendr]

Thanks for the ping.

Yourgrau's appears to be the more accurate account of what Gödel was attempting to accomplish with his two great Incompleteness theorems

Would this be it? From the link:

Finally, Gödel's incompleteness theorem… set a permanent limit on our knowledge of the basic truths of mathematics: The complete set of mathematical truths will never be captured by any finite or recursive list of axioms that is fully formal. Thus, no mechanical device, no computer, will ever be able to exhaust the truths of mathematics. It follows immediately, as Gödel was quick to point out, that if we are able somehow to grasp the complete truth in this domain, then we, or our minds, are not machines or computers.

[mathluv]

Thanks for the ping.

bookmarked

[PatrickHenry]

Ping acknowledged.

[GOPJ]

Thanks for the ping.

[TX Bluebonnet]

Thanks for the ping! Will read tonight.

[Alamo-Girl]

Thank you so much for these recommended readings and book reviews!!!

[mathluv]

Thanks for the ping. Bookmark for later.