En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents formalisme 5 résultats

Filtrer
Sélectionner : Tous / Aucun
P Q
r x
K | x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Mathématiques et philosophie : la démonstration Vassallo, Valerio ; Crubellier, Michel ; Delattre-Biencourt, Joëlle ; Salanskis, Jean-Michel ; Parmentier, Marc ; Porte, Michèle ; Crampe-Casnabet, Michèle | IREM de Lille 2001

Brochure

Cote : 2732
ISBN/ISSN : 2-912-12602-9

Mathématiques - philosophie - démonstration - géométrie - arthmétique - formalisme

philosophie des mathématiques ; démonstration ; formalisme ; arithmétique ; géométrie

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Le formalisme et la controverse Poincaré-Hilbert Campan, Florica | IREM de Paris-Nord 1987

Congrès

Philosophie et mathématiques

Cote : IREM 1327
ISBN/ISSN : 8-624-0548-5

formalisme ; Hilbert (David) ; Poincaré (Henri Jules)

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Des catégories dérivées des catégories abéliennes Verdier, Jean-Louis | SMF 1996

Monographie

Astérisque

Cote : M/A3(239)

algèbre homologique ; catégorie abélienne ; catégorie dérivée ; catégorie triangulée ; dualité de Grothendieck ; formalisme ; suite spectrale ; théorème de dualité ; topologie

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Riemann-Roch algebra Fulton, William ; Lang, Serge | Springer 1985

Monographie

Die Grundlehren der mathematischen Wissenschaften

Cote : FULTON r
ISBN/ISSN : 0-387-96086-4

algèbre de Riemann-Roch ; cycle ; formalisme ; sous-schéma

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Méthode axiomatique et formalisme Cavaillès, Jean ; Desanti, Jean Toussaint ; Cartan, Henri | Hermann 1981

Monographie

Cote : CAVAILLES m
ISBN/ISSN : 2 7056 5941 2

axiomatisation ; formalisme

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Listes : nb d'elts/page

Sélectionner : Tous / Aucun