Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski

DOI10.2307/421074MaRDI QIDQ4953233zbMATH OpenOpenAlexFDO

Authors Hourya Sinaceur

Publication date 6 May 2001

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0601-toc.htm

zbMATH Keywords

decision problemsA. Tarski

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• Some Current Problems in Metamathematics¹
• Tarski
• Alfred Tarski and undecidable theories
• Alfred Tarski: Semantic shift, heuristic shift in metamathematics
• scientific article; zbMATH DE number 1135071

Cites work

• scientific article; zbMATH DE number 3160337 (Why is no real title available?)
• scientific article; zbMATH DE number 3910361 (Why is no real title available?)
• scientific article; zbMATH DE number 3687544 (Why is no real title available?)
• scientific article; zbMATH DE number 966989 (Why is no real title available?)
• scientific article; zbMATH DE number 3058977 (Why is no real title available?)
• A note on the Entscheidungsproblem
• A portrait of Alfred Tarski
• A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
• Alfred Tarski and decidable theories
• An Unsolvable Problem of Elementary Number Theory
• Definability and decision problems in arithmetic
• Descriptive set theory
• Extensions of some theorems of Gödel and Church
• Iterated Cohen extensions and Souslin's problem
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• On the Word Problem for Orthocomplemented Modular Lattices
• Solvable cases of the decision problem
• The decision problem for exponential diophantine equations
• The logic of quantum mechanics
• Transfinite recursive progressions of axiomatic theories
• What are logical notions?

Cited in

(6)

• Two Unpublished Contributions by Alfred Tarski
• The undecidability of propositional adaptive logic
• Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic
• What languages have Tarski truth definitions?
• Undecidable iterative propositional calculus
• ``Unsolved problems in mathematics: J. von Neumann's address to the International Congress of Mathematicians, Amsterdam, September 2--9, 1954.

This page was built for publication: Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953233)