News for hackers. Stuff that matters.
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by iltennico on Friday November 13, 2026 @02:31PM (#50488546)
From what historians of science tell us, Gödel was in any case an absolute perfectionist who mostly published work that was bulletproof. His enormous body of notes surely contained some very sharp insights, but it is unlikely that he would have produced illuminating, conclusive new theorems by chance and without realizing it. He was a very harsh reviewer of his own work.
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by blurbleblurble on Friday November 13, 2026 @03:07PM (#50488933)
Maybe it's likely that he didn't have proofs, but surely had all kinds of theorems with at the very least some intuition of a proof. Recall that he wouldn't have had the same huge breadth and depth of mathematical machinery available to him that we have now.
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by bananaflag on Friday November 13, 2026 @04:05PM (#50489634)
He did discover the functional interpretation in 1940 and publish it only in 1958, so it is highly probable that he has valuable unpublished results.
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by judofyr on Friday November 13, 2026 @06:47PM (#50491820)
n=1

> highly probably

Ah, the optimism of today’s youth!

Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by atmosx on Friday November 13, 2026 @07:10PM (#50492014)
Fair assessment but context matters. He is one of the greats, so it’s not as far fetched as it might sound.
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by breezybottom on Friday November 13, 2026 @04:07PM (#50489655)
You could just read the article instead of speculating about what's in it. This isn't reddit.
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by agosz on Friday November 13, 2026 @04:38PM (#50490180)
Yes, it clearly states they found proofs and new theorems.