Applied proof theory : proof interpretations and their use in mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpret...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Livre numérique |
| Γλώσσα: | Anglais |
| Έκδοση: |
Berlin ; Heidelberg :
Springer
[20..].
Cham : Springer Nature |
| Έκδοση: | 1st ed. 2008. |
| Σειρά: | Springer Monographs in Mathematics
|
| Θέματα: | |
| Διαθέσιμο Online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Σημείωση: |
L'impression du document génère 538 p. Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Applied proof theory, proof interpretations and their use in mathematics, U. Kohlenbach, 2008, Berlin, Springer, 1 vol. (XIX-532 p.), Springer monographs in mathematics, 978-3-540-77532-4 |
| LEADER | 03417nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 940484 | ||
| 008 | 080829q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN127048774 | ||
| 020 | |a 9783540775331 | ||
| 041 | 0 | |a eng | |
| 082 | |a 511.3 | ||
| 084 | |a 03F03. 2010 | ||
| 084 | |a 03F10. 2010 | ||
| 084 | |a 03B30. 2010 | ||
| 100 | 1 | |a Kohlenbach, Ulrich, |d 1962- | |
| 245 | 1 | 0 | |a Applied proof theory : |b proof interpretations and their use in mathematics |c U. Kohlenbach. |
| 250 | |a 1st ed. 2008. | ||
| 260 | |a Berlin ; |a Heidelberg : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Springer Monographs in Mathematics |x 2196-9922 | |
| 500 | |a L'impression du document génère 538 p. | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 504 | |a Bibliogr. Index | ||
| 505 | | | |a Contient des exercices | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). 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 such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. 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 | ||
| 650 | |a Théorie de la démonstration | ||
| 650 | |a Théorèmes |x Démonstration automatique | ||
| 650 | |a Mathématiques |x Informatique | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Analyse fonctionnelle | ||
| 650 | |a Théorie des opérateurs | ||
| 776 | 0 | |0 127269045 |t Applied proof theory |o proof interpretations and their use in mathematics |f U. Kohlenbach |d 2008 |c Berlin |n Springer |p 1 vol. (XIX-532 p.) |s Springer monographs in mathematics |z 978-3-540-77532-4 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-540-77533-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-1LFQNK7Z-5 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747860203 |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/978-3-540-77533-1 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75087774X |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/978-3-540-77533-1 |z Accès INSA CVL | |
| 997 | |0 940484 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||