A reunion of Gödel, Tarski, Carnap and Rosser

DOI10.1093/LOGCOM/EXAD001MaRDI QIDQ6636680FDOQ6636680

Authors: Saeed Salehi 

Publication date: 12 November 2024

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

zbMATH Keywords

Gödel's first incompleteness theoremTarski's undefinability theoremCarnap's diagonal lemmaChaitin's proof of the incompleteness theoremRosser's incompleteness theorem

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: A reunion of Gödel, Tarski, Carnap and Rosser

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