2003/06/01 by Bhupinder Singh Anand, Anand, Bhupinder Singh · 1 citation
Arts and Humanities · Computer Science · Mathematics · #03B10 #Computability, Logic, AI Algorithms #FOS: Mathematics #General Mathematics (math.GM) #Logic, programming, and type systems #Wittgensteinian philosophy and applications #math.GM #msc:03B10
paper · pdf · doi:10.48550/arxiv.math/0306024
40 pages; an HTML version is available at http://alixcomsi.com/index01.htm
arxiv created 2003/06/01 · openalex publication_date 2003/06/01 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We argue that, although Wittgenstein's reservations on Goedel's interpretation of his own formal reasoning are, indeed, of historical importance, the uneasiness that academicians and philosophers continue to sense, and express, over standard interpretations of Goedel's formal reasoning - even seventy years after the publication of his seminal 1931 paper - is of much greater significance, and relevance, to us today.