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ă Paperback – 27 mai 2018
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) 62242 lei  43-57 zile
  Springer International Publishing – 27 mai 2018 62242 lei  43-57 zile
Hardback (1) 62856 lei  43-57 zile
  Springer International Publishing – 12 mai 2016 62856 lei  43-57 zile

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ț: 32974 lei
  • Graph-Based Proof Procedures for Horn Clauses
    Preț: 36582 lei
  • 20% A Proof Theory for General Unification
    Preț: 32086 lei
  • 20% Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday
    Preț: 98069 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ț: 56852 lei
  • 20% Learning and Geometry: Computational Approaches
    Preț: 66212 lei
  • 20% Symbolic Rewriting Techniques
    Preț: 32198 lei
  • 20% Bounded Queries in Recursion Theory
    Preț: 63051 lei
  • Number Theoretic Methods in Cryptography: Complexity lower bounds
    Preț: 37303 lei
  • 20% Interpolating Cubic Splines
    Preț: 56408 lei
  • 20% An Introduction to Quantum Computing Algorithms
    Preț: 45663 lei
  • Applied Probability-Computer Science: The Interface Volume 1
    Preț: 39525 lei
  • Cryptography and Computational Number Theory
    Preț: 37878 lei
  • 15% Cryptographic Applications of Analytic Number Theory: Complexity Lower Bounds and Pseudorandomness
    Preț: 62180 lei
  • 15% Coding, Cryptography and Combinatorics
    Preț: 62148 lei
  • 20% A Graph-Theoretic Approach to Enterprise Network Dynamics
    Preț: 62181 lei
  • 20% Mathematical Logic: Foundations for Information Science
    Preț: 32672 lei
  • 15% Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume
    Preț: 67194 lei
  • 15% Advances in Proof Theory
    Preț: 62856 lei
  • 18% Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior
    Preț: 70191 lei
  • Applied Probability— Computer Science: The Interface
    Preț: 38413 lei
  • 20% Notes on Introductory Combinatorics
    Preț: 48420 lei
  • 20% The Evolution of Programs
    Preț: 32229 lei
  • Lecture Notes on Bucket Algorithms
    Preț: 36545 lei
  • Real-Time Control of Walking
    Preț: 36656 lei
  • 20% Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989
    Preț: 32211 lei

Preț: 62242 lei

Preț vechi: 73226 lei
-15% Nou

Puncte Express: 934
Preț estimativ în valută:
11014€ • 12915$ • 9673£

Carte tipărită la comandă

Livrare economică 09-23 februarie 26

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319805139
ISBN-10: 3319805134
Pagini: 425
Ilustrații: XII, 425 p. 10 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.61 kg
Ediția:Softcover reprint of the original 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