Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences) - Image 1

Price loading...

Springer Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)

Name: Kurt Godel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)
Brand: Springer

History of Mathematics

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

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 Gödel, a logical icon of that time, showed Hilbert's ideal of complete axiomatization of mathematics to be unattainable. The result, of 1931, is called Gödel's incompleteness theorem. Gödel then went on to attack Hilbert's first and second Paris problems, namely Cantor's continuum problem about the type of infinity of the real numbers, and the freedom from contradiction of the theory of real numbers. By 1963, it became clear that Hilbert's first question could not be answered by any known means, half of the credit of this seeming faux pas going to Gödel. The second is a problem still wide open. Gödel worked on it for years, with no definitive results; The best he could offer was a start with the arithmetic of the entire numbers. This book, Gödel's lectures at the famous Princeton Institute for Advanced Study in 1941, shows how far he had come with Hilbert's second problem, namely to a theory of computable functionals of finite type and a proof of the consistency of ordinary arithmetic. It offers indispensable reading for logicians, mathematicians, and computer scientists interested in foundational questions. It will form a basis for further investigations into Gödel's vast Nachlass of unpublished notes on how to extend the results of his lectures to the theory of real numbers. The book also gives insights into the conceptual and formal work that is needed for the solution of profound scientific questions, by one of the central figures of 20th century science and philosophy.

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 303087298X
Category: Books > Subjects > Science, Nature & Maths > Mathematics > History of Mathematics
Domain: Amazon UK
Release Date: 17 December 2022
Listed Since: 23 November 2022

Barcode

No barcode data available

Springer Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)

Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness (Sources and Studies in the History of Mathematics and Physical Sciences)

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

Kurt Gödel: Results on Foundations (Sources and Studies in the History of Mathematics and Physical Sciences)

Goedel's Way: Exploits into an undecidable world

Godel's Way: Exploits into an undecidable world

Collected Works (Volume III): Unpublished Essays and Lectures: 03 (Collected Works (Oxford))

Kurt Gödel: Unpublished Philosophical Essays

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936: 1 (Collected Works of Kurt Godel)

Introduction to Incompleteness: From Gödel's Theorems to Forcing and the Continuum Hypothesis

Collected Works (Volume II): Publications 1938-1974: 02 (Collected Works (Oxford))

COLLECTED WORKS OF GODEL V1: PUBLICATIONS 1929-1936: Volume I: Publications 1929-1936 (Collected Works (Oxford)): 01

Kurt Godel: Collected Works: Volume V (Volume 5)

Kurt Godel: Collected Works: Volume Iv (Volume 4): Correspondence A-G

Lectures on the Hyperreals: An Introduction to Nonstandard Analysis: 188 (Graduate Texts in Mathematics, 188)

Kurt Godel: Essays for His Centennial: 33 (Lecture Notes in Logic, Series Number 33)

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics: 6 (Vienna Circle Institute Library, 6)

Logic and General Theory of Science: Lectures 1917/18 With Supplementary Texts from the First Version of 1910/11: 15 (Husserliana: Edmund Husserl – Collected Works, 15)

Hilbert's Tenth Problem: An Introduction to Logic, Number Theory, and Computability (Student Mathematical Library)

Springer - Gerhard Gentzen's Shorthand Notes on Logic

Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)

Logic and Combinatorics: Joint Summer Research Conference on Applications of Mathematical Logic to Finite Combinatorics (Contemporary Mathematics)

Philosophy of Mathematics in the Twentieth Century: Selected Essays

Springer - A Short Introduction to Intuitionistic Logic Book