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

Antti Valmari

doi:10.4204/EPTCS.151.25

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

Antti Valmari

Research output: Contribution to journal › Article › Scientific › peer-review

Translated title of the contribution	A Simple Character String Proof of the "True but Unprovable'' Version of Gödel's First Incompleteness Theorem
Original language	English
Article number	25
Pages (from-to)	355-369
Number of pages	15
Journal	Electronic Proceedings in Theoretical Computer Science
Volume	151
DOIs	https://doi.org/10.4204/EPTCS.151.25
Publication status	Published - 2014
Publication type	A1 Journal article-refereed

Publication forum classification

Publication forum level 1

Access to Document

10.4204/EPTCS.151.25

Cite this

@article{b968b55213114825813578e831cd7b2d,

title = "A Simple Character String Proof of the {"}True but Unprovable'' Version of G{\"o}del's First Incompleteness Theorem",

author = "Antti Valmari",

note = "Paper presented also in the Proceedings of the 14th International Conference Automata and Formal Languages (AFL 2014). Contribution: organisation=mat,FACT1=1 Portfolio EDEND: 2014-11-17 Publisher name: Open Publishing Association",

year = "2014",

doi = "10.4204/EPTCS.151.25",

language = "English",

volume = "151",

pages = "355--369",

journal = "Electronic Proceedings in Theoretical Computer Science",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

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

AU - Valmari, Antti

N1 - Paper presented also in the Proceedings of the 14th International Conference Automata and Formal Languages (AFL 2014). Contribution: organisation=mat,FACT1=1 Portfolio EDEND: 2014-11-17 Publisher name: Open Publishing Association

PY - 2014

Y1 - 2014

U2 - 10.4204/EPTCS.151.25

DO - 10.4204/EPTCS.151.25

M3 - Article

SN - 2075-2180

VL - 151

SP - 355

EP - 369

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

M1 - 25

ER -