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

Gentzen's Centenary

The Quest for Consistency de

,

Éditeur :

Springer


Paru le : 2015-11-02

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
158,24 €
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

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.   
Pages
561 pages
Collection
n.c
Parution
2015-11-02
Marque
Springer
EAN papier
9783319101026
EAN PDF
9783319101033
Informations sur l'ebook
Nombre pages copiables
5
Nombre pages imprimables
56
Taille du fichier
6769 Ko
Prix
158,24 €
EAN EPUB
9783319101033
Informations sur l'ebook
Nombre pages copiables
5
Nombre pages imprimables
56
Taille du fichier
9236 Ko
Prix
158,24 €

Suggestions personnalisées