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