Address at the princeton university bicentennial conference on problems of mathematics (december 17-19, 1946)
Bulletin of Symbolic Logic 6 (1):1-44 (2000)
This article presents Tarski's Address at the Princeton Bicentennial Conference on Problems of Mathematics, together with a separate summary. Two accounts of the discussion which followed are also included. The central topic of the Address and of the discussion is decision problems. The introductory note gives information about the Conference, about the background of the subjects discussed in the Address, and about subsequent developments to these subjects
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Tarski's Theory of Definability: Common Themes in Descriptive Set Theory, Recursive Function Theory, Classical Pure Logic, and Finite-Universe Logic.J. W. Addison - 2004 - Annals of Pure and Applied Logic 126 (1-3):77-92.
What Languages Have Tarski Truth Definitions?Wilfrid Hodges - 2004 - Annals of Pure and Applied Logic 126 (1-3):93-113.
Two Unpublished Contributions by Alfred Tarski.Francisco Rodriguez-Consuegra - 2007 - History and Philosophy of Logic 28 (3):257-264.
Undecidable Problems for Propositional Calculi with Implication.Grigoriy V. Bokov - forthcoming - Logic Journal of the IGPL:jzw013.
Similar books and articles
Psychological Insights: Why Our Students and Graduates Suffer, and What We Might Do About It.Lawrence S. Krieger - manuscript
Making Human Research Safe: Why We Cannot Afford to Fail.Marjorie Speers - 2005 - Science and Engineering Ethics 11 (1):53-59.
The Higher Law: An Address Delivered Before the Conference of Federal Judges of the Ninth Circuit, at San Francisco September 3, 1946.Harold R. McKinnon - 1946 - Gillick Press.
'Unsolved Problems of Mathematics' J von Neumann's Address to the International Congress of Mathematicians, Amsterdam, September 2-9, 1954.Miklos Redei - 1999 - The Mathematical Intelligencer 21:7-12.
Book Review:Studies in Civilization. University of Pennsylvania Bicentennial Conference; Studies in the History of Science. University of Pennsylvania Bicentennial Conference. [REVIEW]Glenn Negley - 1942 - Ethics 52 (3):385-.
Remarks Before the Princeton Bicentennial Conference on Problems in Mathematics.Kurt Gödel - 1946 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Kurt Gödel: Collected Works Vol. Ii. Oxford University Press. pp. 150--153.
Added to index2009-01-28
Total downloads210 ( #18,603 of 2,163,870 )
Recent downloads (6 months)1 ( #348,100 of 2,163,870 )
How can I increase my downloads?