A Simple Character String Proof of the "True but Unprovable'' Version of Gödel's First Incompleteness Theorem
Research output: Contribution to journal › Article › Scientific › peer-review
Details
| 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 | |
| Publication status | Published - 2014 |
| Publication type | A1 Journal article-refereed |