Godel '96
Subtitle: Logical Foundations of Mathematics, Computer Science and Physics-Kurt Godel's Legacy (Lecture Notes in Logic, 6)
Publisher: Springer
Published: June 1996
Language: eng
Format: Paperback
Number of pages: 322
ISBN-13: 9783540614340
Subjects: Mathematical logic; Mathematics; Mathematical And Symbolic Logic; Philosophy Of Mathematics; Science/Mathematics; Philosophy; Logic; Computer science; Congresses; Logic, Symbolic and mathematic; Logic, Symbolic and mathematical
First sentence: Summary. From 1931 until late in his life (at least 1970) Godel called for the pursuit of new axioms for mathematics to settle both undecided number-theoretical propositions (of the form obtained in his incompleteness results) and undecided set-theoretical propositions (in particular CH).