An automatic proof of Gödel's incompleteness theorem

Artificial Intelligence 95 (1):203-207 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(97)00544-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An automatic proof of Gödel's incompleteness theorem.Kurt Ammon - 1993 - Artificial Intelligence 61 (2):291-306.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
Remark on Artificial Intelligence, humanoid and Terminator scenario: A Neutrosophic way to futurology.Victor Christianto & Florentin Smarandache - manuscript
Kurt Gödel, paper on the incompleteness theorems (1931).Richard Zach - 2004 - In Ivor Grattan-Guinness (ed.), Landmark Writings in Mathematics. North-Holland. pp. 917-925.
Query the Triple Loophole of the Proof of Gödel Incompleteness Theorem.FangWen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:77-94.
The Reconstruction of the First K. Goedel's Incompleteness Theorem.Vitaly Filippovski - 2009 - Analytica 3:37-77.
Godel's theorem, church's theorem, and mechanism.J. J. C. Smart - 1961 - Synthese 13 (1):105-10.
Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.
On an alleged refutation of Hilbert's program using gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.
Heterologicality and Incompleteness.Cezary Cieśliński - 2002 - Mathematical Logic Quarterly 48 (1):105-110.

Analytics

Added to PP
2020-12-22

Downloads
4 (#1,642,858)

6 months
4 (#1,005,811)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Letter to the editor.S. Brüning, M. Thielscher & W. Bibel - 1993 - Artificial Intelligence 64 (2):353-354.
An automatic proof of Gödel's incompleteness theorem.Kurt Ammon - 1993 - Artificial Intelligence 61 (2):291-306.

Add more references