idea number gives full details.     |    back to list of philosophers     |     expand these ideas

Ideas of Kurt Gödel, by Text

[Austrian, 1906 - 1978, Born in Brno, Austria. Ended up at Institute of Advanced Studies at Princeton, with Einstein.]

1930 works
p.1 Gödel's Theorems did not refute the claim that all good mathematical questions have answers
p.2 Gödel eventually hoped for a generalised completeness theorem leaving nothing undecidable
p.12 For clear questions posed by reason, reason can also find clear answers
p.136 Gödel proved that first-order logic is complete, and second-order logic incomplete
p.182 The real reason for Incompleteness in arithmetic is inability to define truth in a language
p.254 Originally truth was viewed with total suspicion, and only demonstrability was accepted
1931 On Formally Undecidable Propositions
p.4 The limitations of axiomatisation were revealed by the incompleteness theorems
p.5 First Incompleteness: arithmetic must always be incomplete
p.6 The undecidable sentence can be decided at a 'higher' level in the system
p.6 Second Incompleteness: nice theories can't prove their own consistency
p.104 Arithmetical truth cannot be fully and formally derived from axioms and inference rules
p.161 First Incompleteness: a decent consistent system is syntactically incomplete
p.165 Second Incompleteness: a decent consistent system can't prove its own consistency
p.173 There is a sentence which a theory can show is true iff it is unprovable
p.202 'This system can't prove this statement' makes it unprovable either way
p.215 There can be no single consistent theory from which all mathematical truths can be derived
1944 Russell's Mathematical Logic
n 13 p.455 Impredicative Definitions refer to the totality to which the object itself belongs
p.447 p.447 Mathematical Logic is a non-numerical branch of mathematics, and the supreme science
p.448 p.448 A logical system needs a syntactical survey of all possible expressions
p.449 p.449 Some arithmetical problems require assumptions which transcend arithmetic
p.455 p.455 Reference to a totality need not refer to a conjunction of all its elements
p.456 p.456 Mathematical objects are as essential as physical objects are for perception
p.464 p.464 Impredicative definitions are admitted into ordinary mathematics
p.464 p.464 The generalized Continuum Hypothesis asserts a discontinuity in cardinal numbers
1964 What is Cantor's Continuum Problem?
p.271 p.63 Set-theory paradoxes are no worse than sense deception in physics
p.483 p.35 We perceive the objects of set theory, just as we perceive with our senses
Suppl p.484 Basic mathematics is related to abstract elements of our empirical ideas