GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Auteur Gerhard Heinzmann |
Documents disponibles écrits par cet auteur (3)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Gerhard Heinzmann, Éditeur scientifique ; Manuel Rebuschi, Éditeur scientifique | Paris : Kimé | 2005Reprend une partie des interventions présentées lors d'un colloque international sur les fondements de la logique et des mathématiques, tenu à Nancy en octobre 2002 : travaux historiques, théorie des catégories, théorie des jeux, fondements cogn[...]texte imprimé
Gerhard Heinzmann, Éditeur scientifique ; Giuseppina Ronzitti, Éditeur scientifique | Paris : Kimé | 2006Réunit sept réflexions sur le rapport de la philosophie aux sciences mathématiques. Au sommaire notamment : Constructing Ordinals (H. R. Jervell) ; Brouwer's Real Thesis on Bars (W. Veldman) ; Reverse Mathematics in Bishop's Constructive Mathema[...]texte imprimé
Les écrits ici réunis ont trait aux fondements de la théorie des ensembles en relation avec le développement de l'idée de prédicativité.