@Inproceedings{EPTCS151.25, author = {Valmari, Antti}, year = {2014}, title = {A Simple Character String Proof of the "True but Unprovable" Version of G\"odel's First Incompleteness Theorem }, editor = {\'Esik, Zolt\'an and F\"ul\"op, Zolt\'an}, booktitle = {{\rm Proceedings 14th International Conference on} Automata and Formal Languages, {\rm Szeged, Hungary, May 27-29, 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {151}, publisher = {Open Publishing Association}, pages = {355-369}, doi = {10.4204/EPTCS.151.25}, }