Gentzen's centenary : the quest for consistency
著者
書誌事項
Gentzen's centenary : the quest for consistency
Springer, c2015
- : pbk.
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
"This volume is tribute by several generations of proof theorists to Gerhard Gentzen," -- pref.
内容説明・目次
内容説明
Gerhard Gentzen has been described as logic's lost genius, whom Goedel 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.
目次
「Nielsen BookData」 より