TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

A Simple Character String Proof of the "True but Unprovable'' Version of Gödel's First Incompleteness Theorem

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

Julkaisun otsikon käännösA Simple Character String Proof of the "True but Unprovable'' Version of Gödel's First Incompleteness Theorem
AlkuperäiskieliEnglanti
Artikkeli25
Sivut355-369
Sivumäärä15
JulkaisuElectronic Proceedings in Theoretical Computer Science
Vuosikerta151
DOI - pysyväislinkit
TilaJulkaistu - 2014
OKM-julkaisutyyppiA1 Alkuperäisartikkeli

Julkaisufoorumi-taso