RSS Bot@lemmy.bestiver.seMB to Hacker News@lemmy.bestiver.seEnglish · 3 days agoMIT professor shot at his Massachusetts home dieswww.bbc.comexternal-linkmessage-square17fedilinkarrow-up183arrow-down10file-text
arrow-up183arrow-down1external-linkMIT professor shot at his Massachusetts home dieswww.bbc.comRSS Bot@lemmy.bestiver.seMB to Hacker News@lemmy.bestiver.seEnglish · 3 days agomessage-square17fedilinkfile-text
minus-squarepotoooooooo ✅️@lemmy.worldlinkfedilinkEnglisharrow-up14arrow-down1·3 days agoOr he solved theoretical physics and big physics obviously couldn’t allow that to get out.
minus-squarexxce2AAb@feddit.dklinkfedilinkEnglisharrow-up10·3 days ago“What do you mean ‘he solved all of it’? What are we going to do with all these doctorates?!”
minus-squaredgdft@lemmy.worldlinkfedilinkEnglisharrow-up5·3 days agoIf 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.
minus-squarepotoooooooo ✅️@lemmy.worldlinkfedilinkEnglisharrow-up2·3 days agoRight!? I so get this. Excellent science reference! More like Nödel is what I always say!
Or he solved theoretical physics and big physics obviously couldn’t allow that to get out.
“What do you mean ‘he solved all of it’? What are we going to do with all these doctorates?!”
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.
Right!? I so get this. Excellent science reference! More like Nödel is what I always say!