Téléchargez le livre : Gentzen's Centenary

Gentzen's Centenary

The Quest for Consistency
de

,

Éditeur :

Springer

Paru le : 2015-11-02

Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re...
Voir tout
Ce livre est accessible aux handicaps Voir les informations d'accessibilité
Ebook téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Compatible lecture en ligne (streaming)
158,24 €
Ajouter à ma liste d'envies
Téléchargement immédiat
Dès validation de votre commande
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 du livre


Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen’s original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory.   

À propos

Auteur
Reinhard Kahle , Michael Rathjen
Éditeur
Springer
Collection
n.c
Parution
2015-11-02
Pages
561 pages
EAN papier
9783319101026

Auteur(s) du livre


Defaut-Illustration Reinhard Kahle
Defaut-Illustration Michael Rathjen

Caractéristiques détaillées - droits

EAN PDF
9783319101033
Prix
158,24 €
Nombre pages copiables
5
Nombre pages imprimables
56
Taille du fichier
6769 Ko
Ce livre est accessible aux handicaps informations d'accessibilité
EAN EPUB
9783319101033
Prix
158,24 €
Nombre pages copiables
5
Nombre pages imprimables
56
Taille du fichier
9236 Ko
Ce livre est accessible aux handicaps informations d'accessibilité

Suggestions personnalisées