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

ducttapecrown • yesterday at 6:01 PM • 2 replies • view on HN

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

bahbahbahbah • yesterday at 7:01 PM

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

➕ show 3 replies

alt Hacker News