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)
  Copy   BIBTEX

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 subjects

Other Versions

No versions found

Similar books and articles

Remarks before the Princeton Bicentennial Conference on Problems in Mathematics.Kurt Gödel - 1990 - In Solomon Feferman, John Dawson & Stephen Kleene, Kurt Gödel: Collected Works Vol. Ii. Oxford University Press. pp. 150--153.
On formalism freeness: Implementing gödel's 1946 princeton bicentennial lecture.Juliette Kennedy - 2013 - Association for Symbolic Logic: The Bulletin of Symbolic Logic 19 (3).
Introduction.David Hitchcock & Magda Stroińska - 2024 - In David Hitchcock & Magda Stroińska, Alfred Tarski on Scientific Semantics. Cham: Springer Nature Switzerland. pp. 137-141.
Immediate Reaction to Tarski’s Paper.David Hitchcock & Magda Stroińska - 2024 - In David Hitchcock & Magda Stroińska, Alfred Tarski on Scientific Semantics. Cham: Springer Nature Switzerland. pp. 69-85.

Analytics

Added to PP
2009-01-28

Downloads
407 (#120,394)

6 months
62 (#149,360)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hourya Benis Sinaceur
Centre National de la Recherche Scientifique

References found in this work

What are logical notions?Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
A note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.

View all 27 references / Add more references