History and Philosophy of Logic 16 (2):159-168 (1995)
In this article the author first described the developments which brought to focus the importance of consistency proofs for mathematics, and which led Hilbert to promote the science of metamathemat-ics. Further comments and remarks concern the (partly analogous) beginnings of the work on the decision problem, Gödel?s theorems and related matters, and general metamathematics. An appendix summarizes a text by the author on completeness and categoricity
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Two Unpublished Contributions by Alfred Tarski.Francisco Rodriguez-Consuegra - 2007 - History and Philosophy of Logic 28 (3):257-264.
Similar books and articles
A Variant to Hilbert's Theory of the Foundations of Arithmetic.G. Kreisel - 1953 - British Journal for the Philosophy of Science 4 (14):107-129.
American Postulate Theorists and Alfred Tarski.Michael Scanlan - 2003 - History and Philosophy of Logic 24 (4):307-325.
“To Do or Not to Do?” Modeling the Control of Behavior.John D. Swain & James E. Swain - 2005 - Behavioral and Brain Sciences 28 (5):662-663.
Prose Versus Proof: Wittgenstein on Gödel, Tarski and Truth.Juliet Floyd - 2001 - Philosophia Mathematica 9 (3):280-307.
Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17-19, 1946).Alfred Tarski & Hourya Sinaceur - 2000 - Bulletin of Symbolic Logic 6 (1):1-44.
Added to index2010-08-10
Total downloads21 ( #232,644 of 2,154,162 )
Recent downloads (6 months)1 ( #398,005 of 2,154,162 )
How can I increase my downloads?