Posts Tagged ‘comon logic’

Formal Systems, Common Logic and LBase

Folks might enjoy the Soloman Feferman lecture Goedel, Nagel, Minds and Machines. After recounting an exchange between Godel and Nagel circa 1956, Feferman describes the implications of the minds vs. machines dichotomy ensuing from the exchange.