Kurt Gödel : The Princeton lectures on intuitionism

Kurt Gödel : The Princeton lectures on intuitionism / Maria Hämeen-Anttila, Jan von Plato, editors.

Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of twenty-four mathematical problems presented at a conference opening the new century. Kurt Godel, a logical icon of that time, showed Hilbert's ideal of complete axiomatization of mathematics...

Full description

Saved in:
Bibliographic Details
Main Author: Gödel, Kurt
Other Authors: Hämeen-Anttila, Maria, Von Plato, Jan
Format: eBook
Language:English
Published: Cham, Switzerland : Springer, 2021.
Series:Sources and studies in the history of mathematics and physical sciences.
Subjects:
Gödel's theorem.
Teorema de Gödel
Gödel's theorem
Online Access:Click for online access
Table of Contents:
  • Gödel's Functional Interpretation in Context
  • Part I: Axiomatic Intuitionist Logic
  • Part II: The Functional Interpretation
  • References
  • Name Index.

Similar Items