Kurt Gödel. The genius of metamathematics

DOI10.1007/978-3-031-11309-3zbMath1505.01001MaRDI QIDQ2170477

William D. Brewer

Publication date: 5 September 2022

Published in: Springer Biographies (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-11309-3

zbMATH Keywords

logic; incompleteness theorems

Mathematics Subject Classification ID

01A70: Biographies, obituaries, personalia, bibliographies

03A05: Philosophical and critical aspects of logic and foundations

03-03: History of mathematical logic and foundations

01-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to history and biography