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

DOI10.2307/421074zbMATH Open0959.01001OpenAlexW2788782666MaRDI QIDQ4953233FDOQ4953233

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

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

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)

Cites Work

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

Cited In (6)

• 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.
• Two Unpublished Contributions by Alfred Tarski

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)