Kurt Gödel. The genius of metamathematics

DOI10.1007/978-3-031-11309-3zbMath1505.01001OpenAlexW4294974829MaRDI 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

logicincompleteness theorems

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to history and biography (01-01)

This page was built for publication: Kurt Gödel. The genius of metamathematics