Posted by bookofjoe 6 hours ago
Officially (i.e. in schools teaching stenography, back in the day) it was long ago replaced by "unified German shorthand" (Deutsche Einheitskurzschrift IIRC), but he always considered Gabelsberger to be superior.
Well, maybe he too was one of the 6 people in the world who could read it (or yes, maybe that was hyperbole, I'm not sure) :D
The question the public wondered about the most was the loophole Gödel claimed to have found in the US Constitution, but they didn't find anything about that.[1]
There's a cool suspense novel "The God Proof" about finding a lost Gödel notebook extending Gödel's ontological "proof" of the existence of God.[2]
0. John Dawson (a logician) and his wife whose name I think is Cheryl (not sure). John Dawson later wrote the Gödel biography "Logical Dilemmas".
1. https://en.wikipedia.org/wiki/G%C3%B6del%27s_loophole
2. https://jeffreykegler.github.io/personal/gp/God_Proof.pdf
> highly probably
Ah, the optimism of today’s youth!
It's really cool how AI is just able to decipher these and validate them with automated theorem provers. Crazy times!
If one could wish for a best case publishing, I would like to have the page scans side by side with the German reading side by side with the English translation with running commentary by the research group.
[1] via https://news.ycombinator.com/item?id=50487434 , thanks empath75
How would you happen write a comment that is so utterly similar to your [dead] sibling comment?
> to a computer the letter "c" is completely unrecognizable no concept of the letter or the shape etc. If you train an ocr algorithm to detect pixels in the shape of "c" you can teach the computer to read the letter. what is so complicated about these squiggles that you think a computer couldn't be trained to read them? Have you seen written text in other languages? It looks "completely unrecognizable"
It feels too similar to even be AI generated. Or is the temperature set way down?
Also, could the people that for whatever reason cannot be stopped from running commenting agents (it's against HN policy btw.) please at least use models that aren't dumb? Yes, it is because it is shorthand. At least read the sources I'm quoting, dear agent.
I’d suggest you bake it into that header line on writtten by; something like this (but edited depending how ai was used):
“Written without AI assistance by the speakers and attendees of AIE Code Summit 2026 ”
Plus, Jan von Plato is the world's leading expert on Gödel -- the number of people who can read Gödel's handwriting can be counted on the fingers of one hand, and I think that every single one is part of Jan von Plato's research group. If he is excited about the output, this is a huge deal.
I wonder what tactics this used, so that I can leverage in my own work.