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

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