libcats.org
Главная

Applied proof theory: Proof interpretations and their use in mathematics

Обложка книги Applied proof theory: Proof interpretations and their use in mathematics

Applied proof theory: Proof interpretations and their use in mathematics

This is the first treatment in book format of proof-theoretic transformations -- known as proof interpretations -- that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as – via extended case studies – carries out some of these applications in full detail.

This subject has its historical roots in pioneering work of G. Kreisel going back to the 1950s but was developed more systematically only during the past 15-20 years, mainly by the author and his collaborators in numerous paper. The main direction in this work is to apply proof transformations that originally had been developed in the course of foundational studies (erg. consistency proofs and Hilbert's program) as well as new versions and extensions thereof to concrete pieces of mathematics. This work so far only existed in the form of research papers that either developed the logical machinery and were published in logic journals or that presented concrete applications (mainly in analysis) and were published in analysis journals on the expense of dropping most of the logical background.

The present book for the first time tells the whole story: the logical theory, how to connect this theory up with ordinary mathematics and, finally, concrete applications in approximation theory and fixed point theory.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Каникулы

Автор:
Размер книги: 13 Kb

Синхронные цифровые сети SDH

Автор:
Размер книги: 1.97 Mb

Момент истины. В августе 44-го

Автор:
Категория: ИСТОРИЯ
Размер книги: 1.52 Mb

Mein Kampf

Автор:
Категория: fiction
Размер книги: 701 Kb
Только что пользователи скачали эти книги:

Several Complex Variables

Автор: , Автор:
Размер книги: 13.57 Mb

The Rose Tattoo

Автор:
Размер книги: 1 Kb

Jam

Автор:
Размер книги: 2 Kb

I Colpevoli Hanno Paura

Автор:
Категория: fiction
Размер книги: 797 Kb

Being Right

Автор: , Автор:
Категория: fiction
Размер книги: 28 Kb

The Power of a Queen

Автор:
Категория: fiction
Размер книги: 173 Kb

Love Unspoken

Автор:
Категория: fiction
Размер книги: 684 Kb

Die Meute

Автор:
Категория: fiction
Размер книги: 1.29 Mb