Cantitate/Preț
Produs
Total produse
Vezi coșul
Advances in Proof Theory de Reinhard Kahle

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) 62887 lei  6-8 săpt.
  Springer International Publishing – 27 mai 2018 62887 lei  6-8 săpt.
Hardback (1) 63507 lei  6-8 săpt.
  Springer International Publishing – 12 mai 2016 63507 lei  6-8 săpt.

Din seria Progress in Computer Science and Applied Logic

  • 20% Applied Probability-Computer Science: The Interface Volume 1: Sponsored by Applied Probability Technical Section College of the Operations Research Society of America The Institute of Management Sciences January 5–7, 1981 Florida Atlantic University Boca Raton, Florida
    Preț: 33303 lei
  • Graph-Based Proof Procedures for Horn Clauses
    Preț: 36943 lei
  • 20% A Proof Theory for General Unification
    Preț: 32405 lei
  • 20% Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday
    Preț: 99103 lei
  • 15% Variational Calculus, Optimal Control and Applications: International Conference in Honour of L. Bittner and R. Klötzler, Trassenheide, Germany, September 23-27, 1996
    Preț: 57436 lei
  • 20% Feasible Mathematics II
    Preț: 33079 lei
  • 20% Learning and Geometry: Computational Approaches
    Preț: 61177 lei
  • 20% Symbolic Rewriting Techniques
    Preț: 32517 lei
  • 20% Bounded Queries in Recursion Theory
    Preț: 63708 lei
  • Number Theoretic Methods in Cryptography: Complexity lower bounds
    Preț: 37672 lei
  • 15% Interpolating Cubic Splines
    Preț: 57121 lei
  • 20% Interpolating Cubic Splines
    Preț: 56992 lei
  • 20% An Introduction to Quantum Computing Algorithms
    Preț: 46130 lei
  • Applied Probability-Computer Science: The Interface Volume 1
    Preț: 39917 lei
  • Cryptography and Computational Number Theory
    Preț: 38253 lei
  • Automata Theory and its Applications
    Preț: 39225 lei
  • 15% Cryptographic Applications of Analytic Number Theory: Complexity Lower Bounds and Pseudorandomness
    Preț: 62824 lei
  • 15% Coding, Cryptography and Combinatorics
    Preț: 62793 lei
  • 20% A Graph-Theoretic Approach to Enterprise Network Dynamics
    Preț: 62828 lei
  • 20% Mathematical Logic: Foundations for Information Science
    Preț: 32997 lei
  • 15% Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume
    Preț: 67893 lei
  • 18% Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior
    Preț: 70985 lei
  • Applied Probability— Computer Science: The Interface
    Preț: 38792 lei
  • 20% Notes on Introductory Combinatorics
    Preț: 42090 lei
  • 20% The Evolution of Programs
    Preț: 32549 lei
  • Lecture Notes on Bucket Algorithms
    Preț: 36905 lei
  • Real-Time Control of Walking
    Preț: 37017 lei
  • 20% Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989
    Preț: 32531 lei

Preț: 63507 lei

Preț vechi: 74715 lei
-15% Nou

Puncte Express: 953
Preț estimativ în valută:
12155€ • 12669$ • 10119£

Carte tipărită la comandă

Livrare economică 06-20 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
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