Cantitate/Preț
Produs

Advances in Proof Theory: Progress in Computer Science and Applied Logic, cartea 28

Editat de Reinhard Kahle, Thomas Strahm, Thomas Studer
en Limba Engleză Hardback – 12 mai 2016
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium “Advances in Proof Theory”, which was held in Bern in December 2013.

​Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Gödel's famous incompleteness theorems of 1930 and Gentzen's new consistency proof for the axiom system of first order number theory in 1936. Today, proof theory is a well-established branch of mathematical and philosophical logic and one of the pillars of the foundations of mathematics. Proof theory explores constructive and computational aspects of mathematical reasoning; it is particularly suitable for dealing with various questions in computer science. 
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 53712 lei  39-44 zile
  Springer International Publishing – 27 mai 2018 53712 lei  39-44 zile
Hardback (1) 54740 lei  39-44 zile
  Springer International Publishing – 12 mai 2016 54740 lei  39-44 zile

Din seria Progress in Computer Science and Applied Logic

Preț: 54740 lei

Preț vechi: 68424 lei
-20%

Puncte Express: 821

Preț estimativ în valută:
10487 11360$ 8994£

Carte tipărită la comandă

Livrare economică 06-11 mai

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319291963
ISBN-10: 3319291963
Pagini: 425
Ilustrații: XII, 425 p. 10 illus.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.79 kg
Ediția:1st ed. 2016
Editura: Springer International Publishing
Colecția Birkhäuser
Seria Progress in Computer Science and Applied Logic

Locul publicării:Cham, Switzerland

Cuprins

W. Buchholz: A survey on ordinal notations around the Bachmann-Howard ordinal.- A. Cantini: About truth and types.- R. Dyckhoff: Intuitionistic decision procedures since Gentzen.- S. Feferman: The operational perspective.- R. Gore: Formally verified proof-theory using Isabelle/HOL.- P. Minari: Analytic equational proof systems for combinatory logic and lambda calculus.- W. Pohlers: From subsystems of classical analysis to subsystems of set theory - a personal account.- M. Rathjen: Ordinal analysis and witness extraction.- P.  Schuster: Logic completeness via open induction.- H. Schwichtenberg: On the computational content of Higman's lemma.- P.  Schroeder-Heister: TBA.- A. Setzer: TBA.- S. Wainer: On weak "pointwise" induction, and a miniaturized predicativity.

Textul de pe ultima copertă

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium “Advances in Proof Theory”, which was held in Bern in December 2013.

​Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Gödel's famous incompleteness theorems of 1930 and Gentzen's new consistency proof for the axiom system of first order number theory in 1936. Today, proof theory is a well-established branch of mathematical and philosophical logic and one of the pillars of the foundations of mathematics. Proof theory explores constructive and computational aspects of mathematical reasoning; it is particularly suitable for dealing with various questions in computer science. 

Caracteristici

This book contains state-of-the-art contributions to various topics in Proof Theory
The papers range from traditional mathematical proof theory via constructive mathematics to applications in computer science
This volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years
Includes supplementary material: sn.pub/extras