Jürgen Schmidhuber personal blog
1931: Kurt Gödel shows limits of math, logic, computing, AI
His famous 1931 paper identified the fundamental limits of math, logics, theorem proving, computing, AI.
- Points
- 347
- HN comments
- 296
- Submissions
- 1
- Cited by
- 0 commenters
AI & Machine LearningHistory & Retro Computing2021
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jun 17, 2021 | 1931: Kurt Gödel shows limits of math, logic, computing, AI by hardmaru | 347 | 296 |
