Gödel's Third Incompleteness Theorem

DOI10.1111/1746-8361.12134zbMath1360.03088OpenAlexW2294179852MaRDI QIDQ2834879

Timothy G. McCarthy

Publication date: 24 November 2016

Published in: Dialectica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/1746-8361.12134

zbMATH Keywords

Gödel's second incompleteness theorem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication: Gödel's Third Incompleteness Theorem