A Reunion of Godel, Tarski, Carnap, and Rosser
From MaRDI portal
Publication:6413404
Abstract: We unify Godel's First Incompleteness Theorem (1931), Tarski's Undefinability Theorem (1933), Godel-Carnap's Diagonal Lemma (1934), and Rosser's (strengthening of Godel's first) Incompleteness Theorem (1936), whose proofs resemble much and use almost the same technique.
This page was built for publication: A Reunion of Godel, Tarski, Carnap, and Rosser
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6413404)
