Gentzen's Centenary

Gentzen's Centenary
Author : Reinhard Kahle
Publisher : Springer
Total Pages : 561
Release : 2015-11-02
ISBN 10 : 9783319101033
ISBN 13 : 331910103X
Language : EN, FR, DE, ES & NL

Gentzen's Centenary
Language: en
Pages: 561
Authors: Reinhard Kahle
Categories: Mathematics
Type: BOOK - Published: 2015-11-02 - Publisher: Springer

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 th
Saved from the Cellar
Language: en
Pages: 315
Authors: Jan von Plato
Categories: Mathematics
Type: BOOK - Published: 2017-03-31 - Publisher: Springer

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 sc
Mario Bunge: A Centenary Festschrift
Language: en
Pages: 827
Authors: Michael R. Matthews
Categories: Science
Type: BOOK - Published: 2019-07-17 - Publisher: Springer

This volume has 41 chapters written to honor the 100th birthday of Mario Bunge. It celebrates the work of this influential Argentine/Canadian physicist and phil
Advances in Proof-Theoretic Semantics
Language: en
Pages: 283
Authors: Thomas Piecha
Categories: Philosophy
Type: BOOK - Published: 2015-10-24 - Publisher: Springer

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introducti
Philosophical Logic: Current Trends in Asia
Language: en
Pages: 296
Authors: Syraya Chin-Mu Yang
Categories: Philosophy
Type: BOOK - Published: 2017-11-25 - Publisher: Springer

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and p
The Great Formal Machinery Works
Language: en
Pages: 390
Authors: Jan von Plato
Categories: Science
Type: BOOK - Published: 2017-08-02 - Publisher: Princeton University Press

The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great F
Ordinal Analysis with an Introduction to Proof Theory
Language: en
Pages: 313
Authors: Toshiyasu Arai
Categories: Philosophy
Type: BOOK - Published: 2020-08-11 - Publisher: Springer Nature

This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory t
The Philosophers and Mathematics
Language: en
Pages: 320
Authors: Hassan Tahiri
Categories: Mathematics
Type: BOOK - Published: 2018-08-14 - Publisher: Springer

This book explores the unique relationship between two different approaches to understand the nature of knowledge, reality, and existence. It collects essays th
The Legacy of Kurt Schütte
Language: en
Pages: 502
Authors: Reinhard Kahle
Categories: Mathematics
Type: BOOK - Published: 2020-08-10 - Publisher: Springer Nature

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 Hilb
The Best Writing on Mathematics 2015
Language: en
Pages: 392
Authors: Mircea Pitici
Categories: Mathematics
Type: BOOK - Published: 2016-01-12 - Publisher: Princeton University Press

The year's finest writing on mathematics from around the world This annual anthology brings together the year's finest mathematics writing from around the world