Explore >> Select a destination
|
You are here 
|
www.quantamagazine.org | ||
| | | | |
dvt.name
|
|
| | | | | Gödel's incompleteness theorems have been hailed as "the greatest mathematical discoveries of the 20th century" - indeed, the theorems apply not only to mathematics, but all formal systems and have deep implications for science, logic, computer science, philosophy, and so on. In this post, I'll give a simple but rigorous sketch of Gödel's First Incompleteness ... | |
| | | | |
www.logicmatters.net
|
|
| | | | | I didn't at all intend to return to my Introduction to Gödel's Theorems (which I've not really read for a dozen years, apart from correcting a small handful of typos in the PDF). But I had occasion to look something up, and - hey, ho! - I've found myself over the last week beginning to [...] | |
| | | | |
rjlipton.com
|
|
| | | | | An approach to consistency that could work... Kurt Gödel is feeling bored. Not quite in our English sense of "bored": German has a word Weltschmerz meaning "world-weariness." In Kurt's case it's Überweltschmerz. We have tried for over a month to get him to do another interview like several times before, but he keeps saying there's... | |
| | | | |
cromwell-intl.com
|
|
| | | Hypercomputation is a wished-for magic that simply can't exist given the way that logic and mathematics work. Its purported imminence serves as an excuse for AI promoters. | ||
