Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Name: Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540775324
Price: 3140 CZK
Availability: InStock

Proof Interpretations and their Use in Mathematics

Autor: Ulrich Kohlenbach

Jazyk:

Vazba: Pevná

Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnost: Skladem u dodavatele

Odesíláme za 10-13 dnů

3 140 Kč

This book presents an applied form of proof theory that has led to new results in number theory, app...

Informace o knize

Autor

Ulrich Kohlenbach

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2008

Stránek

536

EAN

9783540775324

ISBN

3540775323

Enbook ID

02108106

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

940

Rozměry

164 x 237 x 36

Kompletní popis

This book presents an applied form of proof theory that has led to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others) in recent years . This applied approach is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results (independence of solutions from certain parameters, generalizations of proofs by elimination of premises and others). §The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation. It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Proof Interpretations and their Use in Mathematics

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Computational Logic

Becoming Bilingual

The History and Records of the Elephant Club

Alarm at the Farm! #2: A Graphic Novel

Practical Method for the Bassoon

Python Data Science Handbook

Nude: Cali 3: Playing At Peter's House

PLAY GRIEG

Cats

Empire of Air and Water

Market Leader 3rd edition Advanced Coursebook Audio CD (2)

Macmillan English Quest Level 4 Pupil's Book Pack

India-China Boundary Problem, 1846-1947

Non-Newtonian Flow and Applied Rheology

DAY OF BATTLE

Panoramic Radiology

Closing the Gap

Zákaznicí kteří koupili tuto knihu koupili také

Das Glück kommt und geht

Autismus

Dise?o de sonrisa en prótesis

Kooperationscontrolling - Beziehungsqualitat als Erfolgsfaktor unternehmensubergreifender Zus ammenarbeit

Jewish Culture and Urban Form