Synopsis
Seminar paper from the year 2021 in the subject Mathematics - Miscellaneous, grade: 1,0, University of Hagen, course: Philosophy of Mathematics, language: English, abstract: Imagine a world where the very bedrock of mathematical truth crumbles beneath your feet-this was the reality facing mathematicians in the early 20th century, a period of intense scrutiny and doubt known as the foundational crisis. This book delves into the fascinating story of how David Hilbert, a towering figure in mathematics, sought to rebuild this foundation through his ambitious program of proof theory. Explore the contrasting philosophies of classical versus intuitionistic mathematics, the revolutionary impact of Cantor's set theory, and the ensuing objections that threatened to unravel the entire mathematical edifice. Witness the rise of mathematical formalism, as signs are elevated to objects of study, and the birth of metamathematics, a new discipline dedicated to proving the consistency of mathematical systems. Unravel the intricacies of Hilbert's program, his attempt to secure mathematical certainty through finite means, and the devastating blow dealt by Gödel's incompleteness theorems, which revealed the inherent limitations of formal systems. Discover how Gentzen's groundbreaking work on natural deduction and transfinite induction offered a new path forward, transforming proofs into objects of mathematical inquiry in their own right. Finally, journey into the realm of modern proof theory, where category theory and lambda calculus provide powerful new frameworks for understanding the essence of mathematical truth and developing novel identity criteria for proofs. This book offers a comprehensive exploration of Hilbert's program, its challenges, and its enduring legacy, making it an essential read for anyone interested in the foundations of mathematics, mathematical logic, and the quest for absolute certainty. Keywords: Hilbert's program, proof theory, foundational crisis, classical mathematics, intuitionistic mathematics, Cantor's set theory, Gödel's incompleteness theorems, Gentzen's consistency proof, transfinite induction, category theory, lambda calculus, formal systems, metamathematics, consistency, actual infinity, mathematical formalism.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Hilbert's Proof Theory and its modern Development
Image d'archives
Hilbert's Proof Theory and its modern Development
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783346592897
Acheter neuf
EUR 25,81
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Hilbert's Proof Theory and its modern Development
Edité par
GRIN Verlag, GRIN Verlag Mär 2022, 2022
ISBN 10 : 3346592898
ISBN 13 : 9783346592897
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Seminar paper from the year 2021 in the subject Mathematics - Miscellaneous, grade: 1,0, University of Hagen, course: Philosophy of Mathematics, language: English, abstract: David Hilbert first dealt with proofs as independent mathematical objects during the foundational crisis in mathematics at the beginning of the 20th century. Hilbert wanted to dispel all doubts about classical mathematical reasoning by a theory that makes mathematical proofs themselves to its objects (Hilbert, 1923). We examine the reasons and aims of Hilbert's proof theory and show how it came to a surprisingly sudden end. Gerhard Gentzen continued proof theory in the spirit of Hilbert. We will see that Gentzen's system is more closely related to mathematical practice and get an outline how he succeeds in proving the consistency of number theory by means of new methods. Attempts to grasp the real essence of proofs started afterwards. First we show how the important question of proof identity evolved in General Proof Theory. Second, how formal proofs can be represented in a new language by mathematical category theory and the lambda calculus to derive new identity criteria. 28 pp. Englisch. N° de réf. du vendeur 9783346592897
Acheter neuf
EUR 17,95
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Hilbert's Proof Theory and its modern Development
Edité par
GRIN Verlag, GRIN Verlag Mär 2022, 2022
ISBN 10 : 3346592898
ISBN 13 : 9783346592897
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Seminar paper from the year 2021 in the subject Mathematics - Miscellaneous, grade: 1,0, University of Hagen, course: Philosophy of Mathematics, language: English, abstract: David Hilbert first dealt with proofs as independent mathematical objects during the foundational crisis in mathematics at the beginning of the 20th century. Hilbert wanted to dispel all doubts about classical mathematical reasoning by a theory that makes mathematical proofs themselves to its objects (Hilbert, 1923). We examine the reasons and aims of Hilbert's proof theory and show how it came to a surprisingly sudden end. Gerhard Gentzen continued proof theory in the spirit of Hilbert. We will see that Gentzen's system is more closely related to mathematical practice and get an outline how he succeeds in proving the consistency of number theory by means of new methods. Attempts to grasp the real essence of proofs started afterwards. First we show how the important question of proof identity evolved in General Proof Theory. Second, how formal proofs can be represented in a new language by mathematical category theory and the lambda calculus to derive new identity criteria.Books on Demand GmbH, Überseering 33, 22297 Hamburg 28 pp. Englisch. N° de réf. du vendeur 9783346592897
Acheter neuf
EUR 17,95
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Hilbert's Proof Theory and its modern Development
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Seminar paper from the year 2021 in the subject Mathematics - Miscellaneous, grade: 1,0, University of Hagen, course: Philosophy of Mathematics, language: English, abstract: David Hilbert first dealt with proofs as independent mathematical objects during the foundational crisis in mathematics at the beginning of the 20th century. Hilbert wanted to dispel all doubts about classical mathematical reasoning by a theory that makes mathematical proofs themselves to its objects (Hilbert, 1923). We examine the reasons and aims of Hilbert's proof theory and show how it came to a surprisingly sudden end. Gerhard Gentzen continued proof theory in the spirit of Hilbert. We will see that Gentzen's system is more closely related to mathematical practice and get an outline how he succeeds in proving the consistency of number theory by means of new methods. Attempts to grasp the real essence of proofs started afterwards. First we show how the important question of proof identity evolved in General Proof Theory. Second, how formal proofs can be represented in a new language by mathematical category theory and the lambda calculus to derive new identity criteria. N° de réf. du vendeur 9783346592897
Acheter neuf
EUR 17,95
Expédition à EUR 60,28
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Hilbert's Proof Theory and its modern Development
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Hilbert's Proof Theory and its modern Development | Ralf Ille | Taschenbuch | Englisch | 2022 | GRIN Verlag | EAN 9783346592897 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. N° de réf. du vendeur 121365974
Acheter neuf
EUR 17,95
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)