Price loading...

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

Name: Kurt Godel: Results on Foundations (Sources and Studies in the History of Mathematics and Physical Sciences)
Brand: Unknown

History of Mathematics

Price data last checked 102 day(s) ago - refreshing...

View at Amazon

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

Kurt Gödel (1906-1978) gained world-wide fame by his incompleteness theorem of 1931. Later, he set as his aim to solve what are known as Hilbert's first and second problems, namely Cantor's continuum hypothesis about the cardinality of real numbers, and secondly the consistency of the theory of real numbers and functions. By 1940, he was halfway through the first problem, in what was his last published result in logic and foundations. His intense attempts thereafter at solving these two problems have remained behind the veil of a forgotten German shorthand he used in all of his writing. Results on Foundations is a set of four shorthand notebooks written in 1940-42 that collect results Gödel considered finished. Its main topic is set theory in which Gödel anticipated several decades of development. Secondly, Gödel completed his 1933 program of establishing the connections between intuitionistic and modal logic, by methods and results that today are at the same time new and 80 years old. The present edition of Gödel's four notebooks encompasses the 368 numbered pages and 126 numbered theorems of the Results on Foundations, together with a list of 74 problems on set theory Gödel prepared in 1946, and a list of an unknown date titled "The grand program of my research in ca. hundred questions.''

Product Specifications

Format: paperback
ASIN: 3031378776
Category: Books > Subjects > Science, Nature & Maths > Mathematics > History of Mathematics
Domain: Amazon UK
Release Date: 18 July 2024
Listed Since: 19 July 2024

Barcode

No barcode data available

Kurt Gödel: Results on Foundations (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

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

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

Kurt Gödel: The Princeton Lectures on Intuitionism (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: Collected Works: Volume I: Publications 1929-1936: 1 (Collected Works of Kurt Godel)

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

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

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

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

Godel's Way: Exploits into an undecidable world

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

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

Goedel's Way: Exploits into an undecidable world

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

Kurt Gödel: Unpublished Philosophical Essays

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

Springer - Gerhard Gentzen's Shorthand Notes on Logic

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

The Theory of Gödel: 470 (Synthese Library, 470)

The Theory of Gödel: 470 (Synthese Library, 470)

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Godel's Proof (Routledge Classics)

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

Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16