Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski
Bulletin of Symbolic Logic 6 (1):1-44 (2000)
Abstract
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 subjectsDOI
10.2307/421074
My notes
Similar books and articles
Psychological insights: Why our students and graduates suffer, and what we might do about it.Lawrence S. Krieger - manuscript
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-.
'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.
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.
Making human research safe: Why we cannot afford to fail.Marjorie Speers - 2005 - Science and Engineering Ethics 11 (1):53-59.
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.
Analytics
Added to PP
2009-01-28
Downloads
227 (#55,249)
6 months
2 (#296,374)
2009-01-28
Downloads
227 (#55,249)
6 months
2 (#296,374)
Historical graph of downloads
Citations of this work
The Undecidability of Propositional Adaptive Logic.Leon Horsten & Philip Welch - 2007 - Synthese 158 (1):41-60.
What languages have Tarski truth definitions?Wilfrid Hodges - 2004 - Annals of Pure and Applied Logic 126 (1-3):93-113.
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.
Two Unpublished Contributions by Alfred Tarski.Francisco Rodriguez-Consuegra - 2007 - History and Philosophy of Logic 28 (3):257-264.