Tarski

MaRDI QIDQ4604263zbMATH OpenFDO

Authors Benedict Eastaugh

Publication date 23 February 2018

zbMATH Keywords

truthdecidabilityundecidabilityset theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Decidability of theories and sets of sentences (03B25)

Recommendations

• Alfred Tarski and undecidable theories
• Alfred Tarski: auxiliary notes on his legacy
• Alfred Tarski and decidable theories
• Alfred Tarski. Early work in Poland -- geometry and teaching. With a bibliographic supplement. With a foreword by Ivor Grattan-Guinness
• Collected papers. Volume 1: 1921--1934

Cited in

(11)

• Alfred Tarski: auxiliary notes on his legacy
• Ungroundedness in Tarskian languages
• Alfred Tarski and undecidable theories
• scientific article; zbMATH DE number 2123604 (Why is no real title available?)
• Tarski's influence on computer science
• Collected papers. Volume 1: 1921--1934
• Collected papers. Volume 4: 1958--1979
• Alfred Tarski. Early work in Poland -- geometry and teaching. With a bibliographic supplement. With a foreword by Ivor Grattan-Guinness
• Philosophical implications of Tarski's work
• Alfred Tarski's work in set theory
• Tarski's influence on computer science

This page was built for publication: Tarski

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