- Arithmetic logical Irreversibility and the Turing's Halt Problem.Yair Lapin - manuscriptdetails
- Defining Gödel Incompleteness Away.P. Olcott - manuscriptdetails
- Proof that Wittgenstein is correct about Gödel.P. Olcott - manuscriptdetails
- What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks - manuscriptdetails
- What is the Link between Aristotle’s Philosophy of Mind, the Iterative Conception of Set, Gödel’s Incompleteness Theorems and God? About the Pleasure and the Difficulties of Interpreting Kurt Gödel’s Philosophical Remarks.Eva-Maria Engelen - forthcoming - In Gabriella Crocco & Eva-Maria Engelen (eds.), Kurt Gödel: Philosopher-Scientist. Presses Universitaires de Provence.details
- The Making of Mathematics: Heuristic Philosophy of Mathematics.Carlo Cellucci - 2022 - Cham, Switzerland: Springer.details
- Incompleteness and the Halting Problem.Cristian S. Calude - 2021 - Studia Logica 109 (5):1159-1169.details
- Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.details
- Czy matematyka jest składnią języka? Kurta Gödla argument przeciwko formalizmowi.Maciej Głowacki - 2021 - Filozofia Nauki 29 (113):43-61.details
- LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science.Andrea Iacona - 2021 - Springer.details
- What he could have said (but did not say) about Gödel’s second theorem: A note on Floyd-Putnam’s Wittgenstein.Kaave Lajevardi - 2021 - Wittgenstein-Studien 12 (1):121-129.details
- Gödel on Many-Valued Logic.Tim Lethen - 2021 - Review of Symbolic Logic:1-17.details
- Fermat’s last theorem proved in Hilbert arithmetic. I. From the proof by induction to the viewpoint of Hilbert arithmetic.Vasil Penchev - 2021 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 13 (7):1-57.details
- Remarks on the Gödelian Anti-Mechanist Arguments.Panu Raatikainen - 2020 - Studia Semiotyczne 34 (1):267–278.details
- パラコンシステント、決定不能、ランダム、計算可能、不完全とはどういう意味 ですか? 「ゴーデルの方法:決定不可能な世界への冒険:」のレビュー(Godel's Way: exploits into an Undecidable World) byA. da Costa 160p (2012) (2019年のレビュー改訂).Michael Richard Starks - 2020 - In 地獄へようこそ 赤ちゃん、気候変動、ビットコイン、カルテル、中国、民主主義、多様性、ディスジェニックス、平等、ハッカー、人権、イスラム教、自由主義、繁栄、ウェブ、カオス、飢餓、病気、暴力、人工知能、戦争. Las Vegas, NV , USA: Reality Press. pp. 158-171.details
- 불일치, 결정 불가능, 임의, 계산 가능 및 불완전한 의미는 무엇입니까? '고델의 길 : 결정 불가능한 세상으로의 착취'에 대한 검토 (Godel's Way: Exploits into an undecidable world) by Gregory Chaitin, Francisco A Doria, Newton C.A. da Costa 160p (2012).Michael Richard Starks - 2020 - In 지구상의 지옥에 오신 것을 환영합니다 : 아기, 기후 변화, 비트 코인, 카르텔, 중국, 민주주의, 다양성, 역학, 평등, 해커, 인권, 이슬람, 자유주의, 번영, 웹, 혼돈, 기아, 질병, 폭력, 인공 지능, 전쟁. Las Vegas, NV USA: Reality Press. pp. 187-203.details
- Wolpert, Chaitin and Wittgenstein 불가능, 불완전 성, 거짓말 쟁이 역설, 신념, 전산 한계, 비 양자 역학적 불확실성 원리 및 -Turing 기계 이론의 궁극적 이론(.Michael Richard Starks - 2020 - In 지구상의 지옥에 오신 것을 환영합니다 : 아기, 기후 변화, 비트 코인, 카르텔, 중국, 민주주의, 다양성, 역학, 평등, 해커, 인권, 이슬람, 자유주의, 번영, 웹, 혼돈, 기아, 질병, 폭력, 인공 지능, 전쟁. Las Vegas, NV USA: Reality Press. pp. 201-209.details
- मैं डगलस Hofstadter (2007) द्वारा एक अजीब लू प हूँ की समीक्षा--Review of I Am a Strange Loop by Douglas Hofstadter.Michael Richard Starks - 2020 - In पृथ्वी पर नर्क में आपका स्वागत है: शिशुओं, जलवायु परिवर्तन, बिटकॉइन, कार्टेल, चीन, लोकतंत्र, विविधता, समानता, हैकर्स, मानव अधिकार, इस्लाम, उदारवाद, समृद्धि, वेब, अराजकता, भुखमरी, बीमारी, हिंसा, कृत्रिम बुद्धिमत्ता, युद्ध. Las Vegas, NV,. USA: Reality Press. pp. 130-150.details
- 이유의 외부 한계'에 대한 검토 (The Outer Limits of Reason) Noson Yanofsky 403p (2013).Michael Richard Starks - 2020 - In 지구상의 지옥에 오신 것을 환영합니다 : 아기, 기후 변화, 비트 코인, 카르텔, 중국, 민주주의, 다양성, 역학, 평등, 해커, 인권, 이슬람, 자유주의, 번영, 웹, 혼돈, 기아, 질병, 폭력, 인공 지능, 전쟁. Las Vegas, NV USA: Reality Press. pp. 210-227.details
- Revisão de ‘Eu sou um Loop Estranho’ (I am a Strange Loop) por Douglas Hofstadter (2007) (revisão revisada 2019).Michael Richard Starks - 2020 - In Entendendo as Conexões entre Ciência, Filosofia, Psicologia, Religião, Política, Economia, História e Literatura - Artigos e Avaliações 2006-2019. Las Vegas, NV USA: Reality Press. pp. 251-268.details
- 私は奇妙なループです」のレビュー(I am a Strange Loop) by Douglas Hofstadter (2007) (レビュー改訂2019).Michael Richard Starks - 2020 - In 地獄へようこそ 赤ちゃん、気候変動、ビットコイン、カルテル、中国、民主主義、多様性、ディスジェニックス、平等、ハッカー、人権、イスラム教、自由主義、繁栄、ウェブ、カオス、飢餓、病気、暴力、人工知能、戦争. Las Vegas, NV, USA: Reality Press. pp. 102-118.details
- Rezension von "Die äußeren Grenzen der Vernunft " (The Outer Limits of Reason) von Noson Yanofsky 403p (2013) ( Überprüfung überarbeitet 2019).Michael Richard Starks - 2020 - In Willkommen in der Hölle auf Erden: Babys, Klimawandel, Bitcoin, Kartelle, China, Demokratie, Vielfalt, Dysgenie, Gleichheit, Hacker, Menschenrechte, Islam, Liberalismus, Wohlstand, Internet, Chaos, Hunger, Krankheit, Gewalt, Künstliche Intelligenz, Krieg. Las Vegas, NV, USA: Reality Press. pp. 191-206.details
- Что означают парапоследовательные, неопределимые, случайные, вычислительные и неполные? Обзор: “Путь Годеля - Приключения в неопределенном мире” (Godel's Way: Exploits into an undecidable world) by Gregory Chaitin, Francisco A Doria, Newton C.A. da Costa 160p (2012) (обзор пересмотрен 2019).Michael Richard Starks - 2020 - In ДОБРО ПОЖАЛОВАТЬ В АД НА НАШЕМ МИРЕ : Дети, Изменение климата, Биткойн, Картели, Китай, Демократия, Разнообразие, Диссигеника, Равенство, Хакеры, Права человека, Ислам, Либерализм, Процветание, Сеть, Хаос, Голод, Болезнь, Насилие, Искусственный интелле. Las Vegas, NV USA: Reality Press. pp. 171-186.details
- Wolpert, Chaitin et Wittgenstein sur l’impossibilité, l’incomplétude, le paradoxe menteur, le théisme, les limites du calcul, un principe d’incertitude mécanique non quantique et l’univers comme ordinateur, le théorème ultime dans Turing Machine Theory (révisé 2019).Michael Richard Starks - 2020 - In Bienvenue en Enfer sur Terre : Bébés, Changement climatique, Bitcoin, Cartels, Chine, Démocratie, Diversité, Dysgénique, Égalité, Pirates informatiques, Droits de l'homme, Islam, Libéralisme, Prospérité, Le Web, Chaos, Famine, Maladie, Violence, Intellige. Las Vegas, NV , USA: Reality Press. pp. 185-189.details
- Reseña de ‘Soy un Bucle Extraño’ ( I am a Strange Loop) de Douglas Hofstadter (2007) (reseña revisado 2019).Michael Richard Starks - 2020 - In Comprender las Conexiones entre Ciencia, Filosofía, Psicología, Religión, Política, Economía, Historia y Literatura - Artículos y reseñas 2006-2019. Las Vegas, NV USA: Reality Press. pp. 265-282.details
- Wolpert, Chaitin e Wittgenstein sull'impossibilità, l'incompletezza, il paradosso bugiardo, il teismo, i limiti del calcolo, un principio di incertezza meccanica non quantistica e l'universo come computer, il teorema finale della Teoria della Macchina di Turing (rivisto 2019).Michael Richard Starks - 2020 - In Benvenuti all'inferno sulla Terra: Bambini, Cambiamenti climatici, Bitcoin, Cartelli, Cina, Democrazia, Diversità, Disgenetica, Uguaglianza, Pirati Informatici, Diritti umani, Islam, Liberalismo, Prosperità, Web, Caos, Fame, Malattia, Violenza, Intellige. Las Vegas, NV, USA: Reality Press. pp. 177-181.details
- क्या Paraconsistent, अनिर्णयीय, रैंडम, Computable और अधूरा मतलब है? है Godel रास्ता की समीक्षा: ग्रेगरी Chaitin, फ्रांसिस्को एक डोरिया, न्यूटन सी.ए. दा कोस्टा 160p (2012 की समीक्षा संशोधित 2019) द्वारा एक undecidable दुनिया में शोषण What Do Paraconsistent, Undecidable, Random, Computable and Incomplete mean? A Review of Godel's Way: Exploits into an undecidable world by Gregory Chaitin, Francisco A Doria, Newton C.A. da Costa.Michael Richard Starks - 2020 - In पृथ्वी पर नर्क में आपका स्वागत है: शिशुओं, जलवायु परिवर्तन, बिटकॉइन, कार्टेल, चीन, लोकतंत्र, विविधता, समानता, हैकर्स, मानव अधिकार, इस्लाम, उदारवाद, समृद्धि, वेब, अराजकता, भुखमरी, बीमारी, हिंसा, कृत्रिम बुद्धिमत्ता, युद्ध. Las Vegas, NV, USA: Reality Press. pp. 198-214.details
- Was bedeuten Parakonsistente, Unentscheidbar, Zufällig, Berechenbar und Unvollständige? Eine Rezension von „Godels Weg: Exploits in eine unentscheidbare Welt“ (Godels Way: Exploits into a unecidable world) von Gregory Chaitin, Francisco A Doria, Newton C.A. da Costa 160p (2012).Michael Richard Starks - 2020 - In Willkommen in der Hölle auf Erden: Babys, Klimawandel, Bitcoin, Kartelle, China, Demokratie, Vielfalt, Dysgenie, Gleichheit, Hacker, Menschenrechte, Islam, Liberalismus, Wohlstand, Internet, Chaos, Hunger, Krankheit, Gewalt, Künstliche Intelligenz, Krieg. Las Vegas, NV , USA: Reality Press. pp. 1171-185.details
- 《我是一个奇怪的循环》的回顾由道格拉斯·霍夫施塔特 (2007)(Review of I Am a Strange Loop by Douglas Hofstadter (2007)) (审查修订 2019).Michael Richard Starks - 2020 - In 欢迎来到地球上的地狱: 婴儿,气候变化,比特币,卡特尔,中国,民主,多样性,养成基因,平等,黑客,人权,伊斯兰教,自由主义,繁荣,网络,混乱。饥饿,疾病,暴力,人工智能,战争. Las Vegas, NV USA: Reality Press. pp. 105-120.details
- Wolpert, Chaitin и Wittgenstein о невозможности, неполноте, парадоксе лжецов, теизм, границах вычислений, принципе неквантовой механической неопределенности и вселенной как компьютер – конечной теорете в Тuring машин Тьюринга (пересмотренный 2019).Michael Richard Starks - 2020 - In ДОБРО ПОЖАЛОВАТЬ В АД НА НАШЕМ МИРЕ : Дети, Изменение климата, Биткойн, Картели, Китай, Демократия, Разнообразие, Диссигеника, Равенство, Хакеры, Права человека, Ислам, Либерализм, Процветание, Сеть, Хаос, Голод, Болезнь, Насилие, Искусственный интелле. Las Vegas, NV USA: Reality Press. pp. 187-192.details
- Cosa significano Paraconsistente, Indecifrabile, Casuale, Calcolabile e Incompleto? Una recensione di Godel's Way: sfrutta in un mondo indecidibile (Godel's Way: Exploits into an Undecidable World) di Gregory Chaitin, Francisco A Doria, Newton C.A. da Costa 160p (2012) (rivisto 2019).Michael Richard Starks - 2020 - In Benvenuti all'inferno sulla Terra: Bambini, Cambiamenti climatici, Bitcoin, Cartelli, Cina, Democrazia, Diversità, Disgenetica, Uguaglianza, Pirati Informatici, Diritti umani, Islam, Liberalismo, Prosperità, Web, Caos, Fame, Malattia, Violenza, Intellige. Las Vegas, NV, USA: Reality Press. pp. 163-176.details
- ¿Cómo utilizar el Teorema de Herbrand para decidir la validez de razonamientos en lenguaje de primer orden, en conformidad con el Teorema de Indecidibilidad de Church?Franklin Galindo & María Alejandra Morgado - 2019 - Apuntes Filosóficos: Revista Semestral de la Escuela de Filosofía 18 (55):67-86.details
- Wolpert, Chaitin and Wittgenstein on impossibility, incompleteness, the liar paradox, theism, the limits of computation, a non-quantum mechanical uncertainty principle and the universe as computer—the ultimate theorem in Turing Machine Theory (revised 2019).Michael Starks - 2019 - In Suicidal Utopian Delusions in the 21st Century -- Philosophy, Human Nature and the Collapse of Civilization -- Articles and Reviews 2006-2019 4th Edition Michael Starks. Las Vegas, NV USA: Reality Press. pp. 294-299.details
- Review of 'The Outer Limits of Reason' by Noson Yanofsky 403p (2013) (review revised 2019).Michael Starks - 2019 - In Suicidal Utopian Delusions in the 21st Century -- Philosophy, Human Nature and the Collapse of Civilization -- Articles and Reviews 2006-2019 4th Edition Michael Starks. Las Vegas, NV USA: Reality Press. pp. 299-316.details
- ¿Qué significa paraconsistente, indescifrable, aleatorio, computable e incompleto? Una revisión de’ la Manera de Godel: explota en un mundo indecible’ (Godel’s Way: Exploits into an Undecidable World) por Gregory Chaitin, Francisco A Doria, Newton C.A. da Costa 160p (2012) (revisión revisada 2019).Michael Richard Starks - 2019 - In Delirios Utópicos Suicidas en el Siglo 21 La filosofía, la naturaleza humana y el colapso de la civilización Artículos y reseñas 2006-2019 4a Edición. Las Vegas, NV USA: Reality Press. pp. 263-277.details
- Remarks on Wittgenstein, Gödel, Chaitin, Incompleteness, Impossiblity and the Psychological Basis of Science and Mathematics.Michael Richard Starks - 2019 - In Remarks on Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason in Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal. Las Vegas, NV USA: Reality Press. pp. 24-38.details
- Revisão de ‘Eu sou um Loop Estranho’ (I am a Strange Loop) por Douglas Hofstadter (2007) (revisão revisada 2019).Michael Richard Starks - 2019 - In Delírios Utópicos Suicidas no Século XXI Filosofia, Natureza Humana e o Colapso da Civilization- Artigos e Comentários 2006-2019 5ª edição. Las Vegas, NV USA: Reality Press. pp. 112-128.details
- Remarques sur l'impossibilité l'incomplétude, la paracohérence l'indécision, le hasard, la calculabilité, le paradoxe et l'incertitude - dans Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria da Costa, Godel, Searle, Rodych, Berto Floyd, Moyal-Sharrock et Yanofsky.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.details
- Wolpert, Chaitin e Wittgenstein em impossibilidade, incompletude, o paradoxo do mentiroso, o teísmo, os limites da computação, um princípio de incerteza mecânica não quântica e o universo como computador — o teorema final na teoria da máquina de Turing (revisado 2019).Michael Richard Starks - 2019 - In Delírios Utópicos Suicidas no Século XXI Filosofia, Natureza Humana e o Colapso da Civilization- Artigos e Comentários 2006-2019 5ª edição. Las Vegas, NV USA: Reality Press. pp. 183-187.details
- Reseña de ‘I am a Strange Loop’ (Soy un Lazo Extraño) de Douglas Hofstadter (2007) (revisión revisada 2019).Michael Richard Starks - 2019 - In Delirios Utópicos Suicidas en el Siglo 21 La filosofía, la naturaleza humana y el colapso de la civilización Artículos y reseñas 2006-2019 4a Edición. Las Vegas, NV USA: Reality Press. pp. 205-221.details
- O que significa paraconsistente, indecível, aleatório, computável e incompleto?- Uma revisão da ‘Godel’s Way: exploits into an undecidable world’ (Maneira de Godel: façanhas em um mundo indecidível) por Gregory Chaitin, Francisco A Doria, Newton C.A. da costa 160P (2012) (revisão revisada 2019).Michael Richard Starks - 2019 - In Delírios Utópicos Suicidas no Século XXI Filosofia, Natureza Humana e o Colapso da Civilization- Artigos e Comentários 2006-2019 5ª edição. Las Vegas, NV USA: Reality Press. pp. 168-182.details
- 关于在柴廷、维特根斯坦、霍夫施塔特、沃尔珀特、多里亚、达科斯塔、戈德尔、西尔、罗迪赫、贝托、弗洛伊德、贝托、弗洛伊德、莫亚尔-沙罗克和亚诺夫斯基.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.details
- اظهارات در مورد عدم امکان ، بی کامل بودن ، پاراستشتها، Undecidability ، اتفاقی ، Computability ، پارادوکس ، و عدم قطعیت در Chaitin ، ویتگنشتاین ، Hofstadter ، Wolpert ، doria ، دا کوستا ، گودل ، سرل ، رودیچ ، برتو ، فلوید ، مویال-شرراک و یانفسکی.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.details
- Wolpert, Chaitin y Wittgenstein sobre la imposibilidad, la incompletitud, la paradoja mentirosa, el teísmo, los límites de la computación, un principio de incertidumbre mecánica no cuántica y el universo como computadora, el teorema definitivo en la teoría de la máquina de Turing (revisado en 2019).Michael Richard Starks - 2019 - In Delirios Utópicos Suicidas en el Siglo 21 La filosofía, la naturaleza humana y el colapso de la civilización Artículos y reseñas 2006-2019 4a Edición. Las Vegas, NV USA: Reality Press. pp. 278-282.details
- Pernyataan tentang kemustahilan, ketidaklengkapan, Paraconsistency,Undecidability, Randomness, Komputabilitas, paradoks, dan ketidakpastian dalam Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal-Sharrock dan Yanofsky.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.details
- Incompleteness and Computability: An Open Introduction to Gödel's Theorems.Richard Zach - 2019 - Open Logic Project.details
- Gödel’s Disjunction: The Scope and Limits of Mathematical Knowledge. [REVIEW]Panu Raatikainen - 2018 - History and Philosophy of Logic 39 (4):401-403.details
- Decidable and undecidable fragments in First order logic.Ricardo José Da Silva & Franklin Galindo - 2017 - Apuntes Filosóficos 26 (50):90-113.details
- El Programa original de David Hilbert y el Problema de la Decibilidad.Franklin Galindo & Ricardo Da Silva - 2017 - Episteme NS: Revista Del Instituto de Filosofía de la Universidad Central de Venezuela 37 (1):1-23.details
- Church's Undecidability Theorem (1936): Formulation and presentation of the main ideas of its demonstration.Franklin Galindo & Ricardo José Da Silva - 2017 - Apuntes Filosóficos 26 (50):8-31.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|