2006/07/14 by Bhupinder Singh Anand, Anand, Bhupinder Singh
Computer Science · Mathematics · Physics and Astronomy · Psychology · #03B10 #Computability, Logic, AI Algorithms #FOS: Mathematics #General Mathematics (math.GM) #Philosophy and Theoretical Science #Quantum Mechanics and Applications #math.GM #msc:03B10
paper · pdf · doi:10.48550/arxiv.math/0607333
22 pages; an HTML version is available at http://alixcomsi.com/Why%20we%20shouldnt.htm
arxiv created 2006/07/14 · openalex publication_date 2006/07/14 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The only fault we can fairly lay at Lucas' and Penrose's doors, for continuing to believe in the essential soundness of the Goedelian argument, is their naive faith in, first, non-verifiable assertions in standard expositions of classical theory, and, second, in Goedel's unvalidated interpretation of his own formal reasoning. We show why their faith is misplaced in both instances.