A Reunion of Godel, Tarski, Carnap, and Rosser

10/10/2022

∙

by   Saeed Salehi, et al.

∙

0

∙

share

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.