Reverse mathematics : proofs from the inside out
This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are needed to...
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Princeton, NJ :
Princeton University Press
[2018].
|
| Sujets: | |
| Acceso en liña: | Accès Université d'Orléans et IFPM Accès INSA CVL |
| Nota: |
Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Aug 2018) La pagination de l'édition imprimée correspondante est de 198 p. Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 03286nam a22003017a 4500 | ||
|---|---|---|---|
| 001 | 1392827 | ||
| 008 | 181001q2018 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN230505031 | ||
| 020 | |a 9781400889037 | ||
| 041 | 0 | |a eng | |
| 082 | |a 511.3 | ||
| 084 | |a 511.3 | ||
| 100 | 1 | |a Stillwell, John, |d 1942-...., |c Professeur de mathématiques. | |
| 245 | 1 | 0 | |a Reverse mathematics : |b proofs from the inside out |c John Stillwell. |
| 256 | |a Données textuelles | ||
| 260 | |a Princeton, NJ : |b Princeton University Press, |c [2018]. | ||
| 500 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Aug 2018) | ||
| 500 | |a La pagination de l'édition imprimée correspondante est de 198 p. | ||
| 500 | |a Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur | ||
| 500 | |a Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur | ||
| 504 | |a Bibliogr. Index | ||
| 506 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | ||
| 520 | |a This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are needed to prove a given theorem? Only in the last two hundred years have some of these questions been answered, and only in the last forty years has a systematic approach been developed. In Reverse Mathematics, John Stillwell gives a representative view of this field, emphasizing basic analysis finding the right axioms to prove fundamental theorems and giving a novel approach to logic.Stillwell introduces reverse mathematics historically, describing the two developments that made reverse mathematics possible, both involving the idea of arithmetization. The first was the nineteenth-century project of arithmetizing analysis, which aimed to define all concepts of analysis in terms of natural numbers and sets of natural numbers. The second was the twentieth-century arithmetization of logic and computation. Thus arithmetic in some sense underlies analysis, logic, and computation. Reverse mathematics exploits this insight by viewing analysis as arithmetic extended by axioms about the existence of infinite sets. Remarkably, only a small number of axioms are needed for reverse mathematics, and, for each basic theorem of analysis, Stillwell finds the right axiom to prove it.By using a minimum of mathematical logic in a well-motivated way, Reverse Mathematics will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics | ||
| 538 | |a Nécessite un navigateur et un lecteur de fichier PDF | ||
| 650 | |a Mathématiques à rebours | ||
| 856 | 4 | |5 452349901:873446593 |u https://ezproxy.univ-orleans.fr/login?qurl=https://univ.scholarvox.com/book/88867033 |z Accès Université d'Orléans et IFPM | |
| 856 | 4 | |5 180339901:873547012 |u https://ezproxy.insa-cvl.fr/login?qurl=https://univ.scholarvox.com/book/88867033 |z Accès INSA CVL | |
| 997 | |0 1392827 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/ScholarVox (ebooks)/ |c 1/Bibliothèque numérique/ScholarVox (ebooks)/ | ||