Free shipping on orders over $89 - Limited time only - T&Cs apply
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $89
Advances in Proof Theory : Mathematics and Statistics (R0) - Thomas Studer

Advances in Proof Theory

By: Thomas Studer (Editor), Reinhard Kahle (Editor), Thomas Strahm (Editor)

eText | 4 May 2016

At a Glance

eText

$169.00

or 4 interest-free payments of $42.25 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.

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 Jager, 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 Godel'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.

on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionMathematicsMathematical FoundationMathematical LogicPhilosophyPhilosophy & LogicHistory of Mathematics

More in Mathematical Logic

Symbolic Logic - Lewis Carroll

eBOOK

Symbolic Logic

eBook

$2.99

The Game of Logic - Lewis Carroll

eBOOK

The Game of Logic

eBook

$2.99

The Book of Infinity - Joel David Hamkins

eBOOK

The Book of Infinity

eBook

RRP $115.74

$92.61

20%
OFF
Sentinel System - Danijel Popovic

eBOOK

Sentinel System

eBook

$39.99

Probability : Deep view - Bonginhlanhla Microsen Motha

eBOOK

Probability

Deep view

eBook

$20.99

New Trends in Blockchain - Kanchan Naithani

eTEXT

New Trends in Blockchain

eText

$108.89

This product is categorised by