1961 ⟶ John Lucas on Machine Intelligence
In Minds, Machines and Gödel, John Lucas denied the possibil...
Year
1961
1966
🤔 John Lucas on Machine Intelligence
In Minds, Machines and Gödel, John Lucas denied the possibility of machine intelligence on logical or philosophical grounds. He referred to Kurt Gödel's result of 1931: sufficiently powerful formal systems are either inconsistent or allow for formulating true theorems unprovable by any theorem-proving AI deriving all provable theorems from the axioms. Since humans are able to "see" the truth of such theorems, machines were deemed inferior.⟶
Philosophy of AIGödel's Incompleteness TheoremsJohn LucasMachine IntelligenceTheoretical Limitations
United Kingdom⚙️ Machine Intelligence Workshop at Edinburgh
Machine Intelligence workshop at Edinburgh – the first of an influential annual series organized by Donald Michie and others.⟶
WorkshopMachine IntelligenceDonald MichieEdinburghAI Conferences
United Kingdom