This being HN, I can’t believe anyone hasn’t mentioned Searle (on the list) or Hofstaedter yet as prominent thinkers on computing, philosophy of maths, and the

This being HN, I can’t believe anyone hasn’t mentioned Searle (on the list) or Hofstaedter yet as prominent thinkers on computing, philosophy of maths, and the limits of the ongoing AI summer. In ‘Goedel, Escher, Bach’ Hofstaedter has entire chapters dedicated to LISP and its philosophical implications / foundations, ie homoiconicity, metacircularity.