1/ Second thread on exciting philosophy from outside philosophy departments...
https://twitter.com/OwainEvans_UK/status/1326645830963634179
2/ Gerry Sussman. Hofstadter said Gödel invented LISP in proving the incompleteness theorem. Sussman shows the amazing breadth and elegance of LISP ideas. SICP, SICM, How to build robust systems. google.com/url?sa=t&rct=j… 
3/ Eric Drexler. Engineering is neglected by philosophy departments (see Sussman also). Engines, Nanosystems, how engineering differs from science, CAIS. Disclosure: he's currently at the FHI (which is part of a phil dept).
overcomingbias.com/2013/06/drexle…
lesswrong.com/posts/x3fNwSe5…
overcomingbias.com/2013/06/drexle…
lesswrong.com/posts/x3fNwSe5…
4/ Communities working on formal verification of mathematics and languages like Haskell, Coq, LEAN, etc. Jeremy Avigad (who is in philosophy department) is a good source. andrew.cmu.edu/user/avigad/
5/ Kevin Kelly. Speculative ideas about how to conceptualize information technology. en.wikipedia.org/wiki/What_Tech…
6/ Communities working on evolutionary game theory, algorithmic game theory, and mechanism design.
timroughgarden.org/f13/f13.html
google.com/url?sa=t&rct=j…
timroughgarden.org/f13/f13.html
google.com/url?sa=t&rct=j…
7/ Neal Stephenson. Anathem and other books. en.wikipedia.org/wiki/Anathem
fixed Sussman link: groups.csail.mit.edu/mac/users/gjs/…
• • •
Missing some Tweet in this thread? You can try to
force a refresh
