submitted 6 days ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se

17 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[-] ivanafterall@lemmy.world 13 points 6 days ago

Or he solved theoretical physics and big physics obviously couldn't allow that to get out.

[-] xxce2AAb@feddit.dk 9 points 6 days ago

"What do you mean 'he solved all of it'? What are we going to do with all these doctorates?!"

[-] dgdft@lemmy.world 5 points 6 days ago

If it weren’t for fucking Gödel, we’d be there already.

Just write the standard model as a few lines of lambda calculus and leave the rest as an exercise for the reader.

[-] ivanafterall@lemmy.world 2 points 6 days ago

Right!? I so get this. Excellent science reference! More like Nödel is what I always say!

this post was submitted on 16 Dec 2025

83 points (100.0% liked)

Hacker News

3279 readers

543 users here now

Posts from the RSS Feed of HackerNews.

The feed sometimes contains ads and posts that have been removed by the mod team at HN.

founded 1 year ago

MODERATORS