Foundational theories of classical and constructive mathematics /
Collection : The Western Ontario series in philosophy of science, 1566-659X ; . v. 76 Publié par : Springer, (Dordrecht ; | New York :) Détails physiques : xi, 314 pages ; 24 cm. ISBN :9789400704305; 9400704305; 9789400704312; 9400704313.| Type de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres | Réservations |
|---|---|---|---|---|---|---|
| Livre | La bibliothèque des Sciences Exactes et Naturelles | 510.1 SOM (Parcourir l'étagère) | Disponible | 0000000028795 |
Survol La bibliothèque des Sciences Exactes et Naturelles Étagères Fermer l'étagère
|
Pas d'image disponible |
|
|
|
|
|
||
| 510.1 PAS Essays on the foundations of mathematics | 510.1 SAH الرياضيات عند إخوان الصفا | 510.1 SEN Les raisons de la fiction | 510.1 SOM Foundational theories of classical and constructive mathematics / | 510.14 HAU Lexique bilingue du vocabulaire mathématique | 510.245 41 MOR Mathematics for physical chemistry | 510.245 41 MOR Mathematics for physical chemistry |
Includes bibliographical references.
Introduction / Giovanni Sommaruga -- Foundational frameworks / Geoffrey Hellman -- The problem of mathematical objects / Bob Hale -- Set theory as a foundation / Penelope Maddy -- Foundations : structures, sets, and categories / Stewart Shapiro -- From sets to types, to categories, to sets / Steve Awodey -- Enriched stratified systems for the foundations of category theory / Solomon Feferman -- Recent debate over categorical foundations / Colin McLarty -- The axiom of choice in the foundations of mathematics / John L. Bell -- Reflections on the categorical foundations of mathematics / Joachim Lambeck and Philip J. Scott -- Local constructive set theory and inductive definitions / Peter Aczel -- Proofs and constructions / Charles McCarty -- Euclidean arithmetic : the finitary theory of finite sets / J.P. Mayberry -- Intentionality, intuition, and proof in mathematics / Richard Tieszen -- Foundations for computable topology / Paul Taylor -- Conclusion : a perspective on future research in FOM / Giovanni Sommaruga and John Bell.
Focusing on the foundations, this volume explores both classical and constructive mathematics. Its great advantage is to extend the traditional discussion of the foundations of mathematics and to render it at the same time both subtle and more differentiated.


Il n'y a pas de commentaire pour ce document.