Godel’s Life and Work

P. P. Petkov
Additional contact information
P. P. Petkov: Faculty of Math. and Mech., Sector of Mathematical Logic

A chapter in Mathematical Logic and Its Applications, 1987, pp 23-36 from Springer

Abstract: Abstract Since the end of last century an investigation of the methods of mathematical reasoning has been gaining momentum; due to that development the field of mathematical logic has originated and advanced. Kurt Gödel was one of those who contributed most to its forming and progress. Information about Gödel’s life is still comparatively scanty. Most likely that is due to the secluded and simple way of life he led.

Keywords: Predicate Calculus; Axiom System; Continuum Hypothesis; Completeness Theorem; Academic Rank (search for similar items in EconPapers)
Date: 1987
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4613-0897-3_3

Ordering information: This item can be ordered from
http://www.springer.com/9781461308973

DOI: 10.1007/978-1-4613-0897-3_3

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().