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

£43.99

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
Price: 43.99 GBP
Availability: InStock

History of Mathematics

Price History & Forecast

Last 30 days • 30 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 30 days • 1 price levels

Days at Price

Price Analysis

Most common price: £44 (30 days, 100.0%)

Price range: £44 - £44

Price levels: 1 different prices over 30 days

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: hardcover
ASIN: 3030872955
Category: Books > Subjects > Science, Nature & Maths > Mathematics > History of Mathematics
Domain: Amazon UK
Release Date: 16 December 2021
Listed Since: 13 August 2021

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

Price Distribution

Price Analysis

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)

Godel's Way: Exploits into an undecidable world

Goedel's Way: Exploits into an undecidable world

Kurt Gödel: Unpublished Philosophical Essays

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

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 Iv (Volume 4): Correspondence A-G

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

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)

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

Philosophy of Mathematics in the Twentieth Century: Selected Essays

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

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

What Can Be Computed? – A Practical Guide to the Theory of Computation

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