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-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!
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!