Téléchargez le livre : Saved from the Cellar

Saved from the Cellar

Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics

de

Éditeur :

Springer


Paru le : 2017-03-31



eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
147,69 €
Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description
Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today. Another noteworthy achievement is his resolution of the embarrassing situation created by Gödel's incompleteness results, especially the second one about the unprovability of consistency of elementary arithmetic. After these successes, Gentzen dedicated the rest of his short life to the main problem of Hilbert's proof theory, the question of the consistency of analysis. He was arrested in the summer of 1945 with other professors of the German University of Prague and died soon afterward of starvation in a prison cell. Attempts at locating his lost manuscripts failed at the time, but several decades later, two slim folders of shorthand notes were found. In this volume, Jan von Plato gives an overview of Gentzen's life and scientific achievements, based on detailed archival and systematic studies, and essential for placing the translations of shorthand manuscripts that follow in the right setting. The materials in this book are singular in the way they show the birth and development of Gentzen's central ideas and results, sometimes in a well-developed form, and other times as flashes into the anatomy of the workings of a unique mind.
Pages
315 pages
Collection
n.c
Parution
2017-03-31
Marque
Springer
EAN papier
9783319421193
EAN PDF
9783319421209
Informations sur l'ebook
Nombre pages copiables
3
Nombre pages imprimables
31
Taille du fichier
3594 Ko
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
147,69 €
EAN EPUB
9783319421209
Informations sur l'ebook
Nombre pages copiables
3
Nombre pages imprimables
31
Taille du fichier
2898 Ko
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
147,69 €

Suggestions personnalisées