IMIST


Vue normale Vue MARC vue ISBD

Foundational theories of classical and constructive mathematics /

Autres auteurs : Sommaruga, Giovanni.
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. Année : 2011
Tags de cette bibliothèque : Pas de tags pour ce titre. Connectez-vous pour ajouter des tags.
    Évaluation moyenne : 0.0 (0 votes)
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
Total des réservations: 0

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.

pour proposer un commentaire.
© Tous droits résérvés IMIST/CNRST
Angle Av. Allal Al Fassi et Av. des FAR, Hay Ryad, BP 8027, 10102 Rabat, Maroc
Tél:(+212) 05 37.56.98.00
CNRST / IMIST

Propulsé par Koha