Tampere University of Technology

TUTCRIS Research Portal

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

Research output: Contribution to journalArticleScientificpeer-review

Details

Original languageEnglish
Article number25
Pages (from-to)355-369
Number of pages15
JournalElectronic Proceedings in Theoretical Computer Science
Volume151
DOIs
Publication statusPublished - 2014
Publication typeA1 Journal article-refereed

Publication forum classification

Field of science, Statistics Finland