Gödel's Doctoral Thesis, 1928-30: The Completeness of First-Order Logic
The work
| Authors | William D. Brewer |
|---|---|
| Editors | |
| Type | incollection |
| Year | 2022 |
| Citekey | brewer2022godel |
Where it appeared
| Published in | Kurt Gödel: The Genius of Metamathematics |
|---|---|
| Publisher | Springer |
| Series | Springer Biographies |
| Pages | 101--129 |
Identifiers
| DOI | 10.1007/978-3-031-11309-3_7 |
|---|
Settled
| Abstract | No abstract: the chapter opens on narrative. Leaf 1 gives the chapter number '7', the title 'Gödel's Doctoral Thesis, 1928-30: The Completeness of First-Order Logic', and then the first sentence directly: 'The exact moment when Kurt Gödel decided on a thesis topic and began writing his dissertation is not known—nor is it known whether his mentor Hans Hahn or some other associate influenced his choice of thesis topic.' No abstract block, no summary; a chapter in a book of this kind carries neither. Established by reading the copy. |
|---|
A copy is held
pdf, 503.9 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-17 08:39 UTC |
Filed under
Cite it as
@incollection{brewer2022godel,
title = {Gödel's Doctoral Thesis, 1928-30: The Completeness of First-Order Logic},
author = {William D. Brewer},
year = {2022},
booktitle = {Kurt Gödel: The Genius of Metamathematics},
publisher = {Springer},
series = {Springer Biographies},
pages = {101--129},
doi = {10.1007/978-3-031-11309-3_7},
}
This record lives at https://refs.drheap.org/brewer2022godel/ and will keep doing so.