Illustration

Biographie et livres de Michael Rathjen

Découvrez tout l'univers de l'auteur en livre numérique
Michael Rathjen was Professor of Mathematics at the Ohio State University and is currently Professor of Mathematics at the University of Leeds, England. His main research area is mathematical logic, especially proof theory, ordinal analysis, constructive and alternative set theories as well as intuitionism.
Découvrez tous ses livres

Dernière parution

Téléchargez le livre : Gentzen's Centenary
Ajouter à ma liste d'envies
Gentzen's Centenary

Reinhard Kahle , Michael Rathjen

Springer

2015-11-02

PDF, ePub

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...

158,24 €

En savoir plus

Ebooks de Michael Rathjen en PDF et EPUB

1 Livre(s)
Télécharger le livre : The Legacy of Kurt Schütte
Ajouter à ma liste d'envies
The Legacy of Kurt Schütte
Reinhard Kahle , Michael Rathjen
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte was the last doctoral student of David Hilbert who was the first to see that proofs can be viewed as structured mathematical objects amenable to...

Editeur : Springer
Parution : 2020-08-10

PDF

116,04 €