It'd be interesting to hear about these new 14 themes of logic Gödel pursued!

calf a day ago | parent | next [-]

Article also mentions his notes were a few months work away from proving independence of CH decades before Cohen's result in 1963.

▲

bahbahbahbah a day ago | parent | prev [-]

Yeah, these notes need to be just openly published. Then I could ask my own Claude for an explanation. (Not /s)

▲

aaronrobinson a day ago | parent | next [-]

Or just share the Claude sessions as Tao did his.

▲

rsoto2 a day ago | parent | prev | next [-]

You could likely "unlock" the manuscript yourself with a competent computer vision algorithm. It's nothing that fancy.

▲

Perseids a day ago | parent [-]

Have you seen the manuscripts? Take a look at slide 10 of https://aitp-conference.org/2026/slides/JvP.pdf [1]. On slide 12 you can at least make out a few words (even before reading the English translation I could clearly read "Jede" and "Systems ist berechenbar"), but any part of the shorthand is completely unrecognizable. Also take a look at slide 6 that shows a bunch of word transcriptions in the shorthand. If I understood the article correctly, you have to intimately know the math involved to have any chance of decoding the content, as there is a lot of interpretation involved.

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

▲

zapataband2 a day ago | parent | next [-]

[dead]

▲

rsoto2 a day ago | parent | prev [-]

[flagged]

▲

Perseids 21 hours ago | parent [-]

What the…

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.

▲

rsoto2 17 hours ago | parent [-]

what is a [dead] sibling comment? I noticed that my comment was removed and tried posting it again. Thanks for addressing the substance, I would not subscribe to an ai platform to write rebuttals to non-arguments.

	▲	_Microft 16 hours ago \| parent [-]
		Go to your profile page and change the setting “showdead” to yes to find out.

▲

sally_glance a day ago | parent | prev [-]

That would be the future of crowdsourcing - by submitting the same prompt as 1000 other people, you're basically donating your tokens to the cause of maybe spotting a valuable insight the others didn't get because of random output sampling :)