Bulletin of Symbolic Logic
- Bull. Symbolic Logic
- Volume 6, Number 1 (2000), 1-44.
Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17-19, 1946)
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.
Bull. Symbolic Logic, Volume 6, Number 1 (2000), 1-44.
First available in Project Euclid: 20 June 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Tarski, Alfred; Sinaceur, Hourya. Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17-19, 1946). Bull. Symbolic Logic 6 (2000), no. 1, 1--44. https://projecteuclid.org/euclid.bsl/1182353665