RSS BotMB to Hacker NewsEnglish · 9 hours agoMIT professor shot at his Massachusetts home dieswww.bbc.comexternal-linkmessage-square15fedilinkarrow-up169arrow-down10file-text
arrow-up169arrow-down1external-linkMIT professor shot at his Massachusetts home dieswww.bbc.comRSS BotMB to Hacker NewsEnglish · 9 hours agomessage-square15fedilinkfile-text
minus-squarepotoooooooo ✅️@lemmy.worldlinkfedilinkEnglisharrow-up11arrow-down1·9 hours agoOr he solved theoretical physics and big physics obviously couldn’t allow that to get out.
minus-squarexxce2AAb@feddit.dklinkfedilinkEnglisharrow-up9·9 hours ago“What do you mean ‘he solved all of it’? What are we going to do with all these doctorates?!”
minus-squaredgdft@lemmy.worldlinkfedilinkEnglisharrow-up4·8 hours 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·8 hours 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!