Gödel’s Incompleteness Phenomenon—Computationally

DOI10.4000/philosophiascientiae.968zbMath1325.03074arXiv1211.7308OpenAlexW2109115134WikidataQ57533036 ScholiaQ57533036MaRDI QIDQ5499600

Saeed Salehi

Publication date: 30 July 2015

Published in: Philosophia Scientae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1211.7308

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Gödel numberings and issues of incompleteness (03F40)

Related Items (2)

On constructivity and the Rosser property: a closer look at some Gödelean proofs ⋮ GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS

This page was built for publication: Gödel’s Incompleteness Phenomenon—Computationally