Graduate studies at Western
History and Philosophy of Logic 16 (2):159-168 (1995)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
G. Kreisel (1953). A Variant to Hilbert's Theory of the Foundations of Arithmetic. British Journal for the Philosophy of Science 4 (14):107-129.
Richard C. Jennings (1987). Tarski - a Dilemma. Inquiry 30 (1 & 2):155 – 172.
Frederic Schick (1991). Understanding Action: An Essay on Reasons. Cambridge University Press.
N. Shankar (1994). Metamathematics, Machines, and Gödel's Proof. Cambridge University Press.
Michael Scanlan (2003). American Postulate Theorists and Alfred Tarski. History and Philosophy of Logic 24 (4):307-325.
John D. Swain & James E. Swain (2005). “To Do or Not to Do?” Modeling the Control of Behavior. Behavioral and Brain Sciences 28 (5):662-663.
Juliet Floyd (2001). Prose Versus Proof: Wittgenstein on Gödel, Tarski and Truth. Philosophia Mathematica 9 (3):280-307.
Alfred Tarski & Hourya Sinaceur (2000). Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17-19, 1946). Bulletin of Symbolic Logic 6 (1):1-44.
Added to index2010-08-10
Total downloads12 ( #101,329 of 740,483 )
Recent downloads (6 months)1 ( #61,960 of 740,483 )
How can I increase my downloads?