Hacker News new | past | comments | ask | show | jobs | submit
semolinapudding | on: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
I think it's 6 people who can read Gabelsberger and know enough mathematical logic to make out what Gödel is saying.
loading story #50491010
aaronrobinson | parent
I read it as knowing it at all but maybe it’s the mathematical shorthand subset.