Arithmetic and the Incompleteness Theorems

Arithmetic and the Incompleteness Theorems (2000)

Cached

Download Links

by Richard W. Kaye

BibTeX

@MISC{Kaye00arithmeticand,
    author = {Richard W. Kaye},
    title = {Arithmetic and the Incompleteness Theorems},
    year = {2000}
}

Bookmark

OpenURL

Abstract

this paper please consult me first, via my home page.

Citations

593	Introduction to Metamathematics - Kleene - 1971
308	Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme. Monatshefte fur Mathematik und Physik - Godel - 1931
112	eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes, Dialectica, Vol: 12 - Godel, Uber - 1958
97	Systems of Logic Based on Ordinals - Turing - 1939
86	Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt - Presburger - 1930
57	General recursive functions of natural numbers, Mathematische Annalen 112 - Kleene - 1936
54	Zum Hilbertschen Aufbau der reellen Zahlen - Ackermann - 1928
45	Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen, 112:493–465 - Gentzen - 1936
41	Lambda-definability and recursiveness - Kleene - 1936
38	The decision problem for exponential Diophantine equations - Davies, Putnam, et al. - 1961
38	On undecidable proposition of formal mathematical systems - Gödel - 1934
32	Die Vollständigkeit der Axiome des logischen Funktionenkalküls - Gödel - 1930
32	Über das Unendliche. Mathematische Annalen, 95, 1926 161-190. Translated as ”On the infinite” in van Heijenoort, From Frege to Gödel: A source book in mathematical logic - Hilbert
26	Was sind und was sollen die Zahlen - Dedekind - 1888
24	The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions - Davis - 1965
22	Formal definitions in the theory of ordinal numbers - Church, Kleene - 1937
18	Begründung des ’ tertium non datur‘ mittels der Hilbertschen Theorie der Widerspruchsfreiheit - Ackermann - 1925
18	Vortrag bei Zilsel - Gödel - 1938
17	Reflections on Kurt Gödel - Wang - 1988
15	On an extension of finitary mathematics which has not yet been used - Gödel - 1972
14	Begründung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veränderlichen mit unendlichem Ausdehnungsbereich. Skrifter, Norske Videnskaps-Akademi i Oslo (= Videnskapsselskapet i Kristiania), Matematisk-Naturvidenska - Skolem - 1923
14	Wahrheitsbegri in den formalisierten Sprachen - Der - 1936
12	The Collected Papers of Gerhard Gentzen, edited by - Gentzen - 1969
12	A Logical Journey. From Gödel to Philosophy - Wang - 1996
11	Pojęcie prawdy w językach nauk dedukcyjnych, ? (germ. transl., 1935, Der Wahrheitsbegriff in den formalisierten Sprachen - Tarski - 1933
10	Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen. Fundamenta mathematicae 23 - Skolem - 1934
10	Computability and λ-definability - Turing - 1937
10	Zur Hilbertschen Beweistheorie - Neumann - 1927
9	Undecidable diophantine propositions - Gödel - 1995
9	1959], Non-Archimedian models of arithmetic - Tennenbaum
9	On Computable Numbers, with an Application to the Entsheidungs Problem - Turing - 1936
7	The work of Kurt Gödel - Kleene - 1976
7	Extensions of some theorems of Gödel and - Rosser - 1936
6	Collected Works. Volume II. Publications 1938–1974 - Gödel - 1990
5	Models and types of Peano’s arithmetic - GAIFMAN - 1976
5	The present situation in the foundations of mathematics - Gödel - 1995
5	by recursive step: Church’s analysis of effective computability - Sieg, “Step - 1997
4	A note on the Entscheidungsproblem”, The journal of symbolic logic 1 - Church - 1936
4	On a Hitherto Unexploited Extension of the Finitary Standpoint - Gödel - 1980
4	An informal exposition of proofs of Gödel’s Theorem and Church’s Theorem - Rosser - 1939
3	Reductions of Hilbert’s tenth problem - Davis, Putnam - 1958
3	über Vollständigkeit und Widerspruchsfreiheit. Ergebnisse eines mathematischen Kolloquiums - Gödel - 1932
3	Turing: the enigma. Simon and - Alan - 1983
3	Peano’s axioms and models of arithmetic - Skolem - 1955
3	Über die Unmöglichkeit einer vollständigen Charakterisierung der Zahlenreihe mittels eines endlichen Axiomensystems. Norskmatematisk forenings skrifter 2 - Skolem - 1933
3	Some facts about Kurt Gödel - Wang - 1981
2	Die Antinomien und die Unvollständigkeit de Mathematik. Monatshefte für Mathematik und Physik - Carnap - 1934
2	Turing in the land of O(z). In The universal Turing machine: a half-century survey - Feferman - 1988
2	A note on models and submodels of arithmetic - Gaifman - 1970
2	Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit. Anzeiger der Akademie der Wissenschaften in - Gödel - 1930