Cantitate/Preț
Produs
Total produse
Vezi coșul
Kurt Gödel: The Princeton Lectures on Intuitionism de Maria Hämeen-Anttila

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

Editat de Maria Hämeen-Anttila, Jan von Plato
en Limba Engleză Paperback – 17 dec 2022
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 67619 lei  6-8 săpt.
  Springer International Publishing – 17 dec 2022 67619 lei  6-8 săpt.
Hardback (2) 68173 lei  6-8 săpt.
  Springer International Publishing – 16 dec 2021 68173 lei  6-8 săpt.
  Springer Nature Switzerland – 18 iul 2023 109302 lei  6-8 săpt.

Din seria Sources and Studies in the History of Mathematics and Physical Sciences

Preț: 67619 lei

Preț vechi: 79551 lei
-15% Nou

Puncte Express: 1014
Preț estimativ în valută:
12945€ • 13475$ • 10657£

Carte tipărită la comandă

Livrare economică 31 ianuarie-14 februarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030872984
ISBN-10: 303087298X
Pagini: 133
Ilustrații: IX, 133 p.
Dimensiuni: 155 x 235 mm
Greutate: 0.23 kg
Ediția:1st ed. 2021
Editura: Springer International Publishing
Colecția Springer
Seria Sources and Studies in the History of Mathematics and Physical Sciences

Locul publicării:Cham, Switzerland

Cuprins

Gödel's Functional Interpretation in Context.- Part I: Axiomatic Intuitionist Logic.- Part II: The Functional Interpretation.- References.- Name Index.

Recenzii

“This book covers the lectures that Kurt Gödel gave in the spring of 1941 at the Institute
for Advanced Study in Princeton. … The importance of the book: it is an essential addition to Gödel studies, extending the original audience of three to all interested researchers.” (Jean Paul Van Bendegem, Mathematical Reviews, November, 2023)

“This careful edition of Gödel's notes for his 1941 Princeton lectures is a highly relevant publication which should be consulted by anybody who wants to learn about Gödel's thoughts on intuitionsm at this time or is interested in functional interpretations.” (Ulrich Kohlenbach, Philosophia Mathematica, July 9, 2022)

Textul de pe ultima copertă

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.

Caracteristici

Offers indispensable reading for mathematicians and computer scientists Gives insights into thework that is needed to solve scientific questions Forms a basis for further investigations into Gödel's vast collection of unpublished notes

Notă biografică

​Maria Hämeen-Anttila is a post-doctoral researcher at the University of Helsinki, Finland. Her previous work includes an edition of Gödel's - The Princeton Lectures on Intuitionism, 2021.

Jan von Plato is a Research Director at the University of Helsinki. He has published nine books and numerous articles on foundations of probability, constructive axiomatics, proof theory, and the development of logic and foundational study.