Carregant...
Kurt Gödel and the foundations of mathematics : horizons of truth /
"This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom...
| Altres autors: | |
|---|---|
| Format: | Printed Book |
| Idioma: | English |
| Publicat: |
New York :
Cambridge University Press,
2014.
|
| Matèries: | |
| Accés en línia: | http://www.loc.gov/catdir/toc/fy12pdf01/2010048055.html |