Tarski

zbMATH Open1386.03002MaRDI QIDQ4604263FDOQ4604263

Authors: Benedict Eastaugh 

Publication date: 23 February 2018

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

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)

Cited In (11)

• Alfred Tarski's work in set theory
• Alfred Tarski and undecidable theories
• Collected papers. Volume 1: 1921--1934
• Collected papers. Volume 4: 1958--1979
• Ungroundedness in Tarskian languages
• Philosophical implications of Tarski's work
• Alfred Tarski: auxiliary notes on his legacy
• Title not available (Why is that?)
• Alfred Tarski. Early work in Poland -- geometry and teaching. With a bibliographic supplement. With a foreword by Ivor Grattan-Guinness
• Tarski's influence on computer science
• 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)