3 résultat(s) recherche sur le mot-clé 'formalisme'    

Le formalisme en action / Jocelyn BENOIST (Cop. 2013)

Public ISBD Titre : Le formalisme en action : Aspects mathématiques et philosophiques Type de document : texte imprimé Auteurs : Jocelyn BENOIST, Directeur de publication, rédacteur en chef ; Thierry PAUL, Directeur de publication, rédacteur en chef Editeur : Paris : Hermann Année de publication : Cop. 2013 Importance : 199 p. Présentation : ill. en coul. ISBN/ISSN/EAN : 978-2-7056-8440-2 Langues : Français Mots-clés : formalisme  mathématique  philosophie Le formalisme en action : Aspects mathématiques et philosophiques [texte imprimé] / Jocelyn BENOIST, Directeur de publication, rédacteur en chef ; Thierry PAUL, Directeur de publication, rédacteur en chef . - Paris : Hermann, Cop. 2013 . - 199 p. : ill. en coul. ISBN : 978-2-7056-8440-2 Langues : Français Mots-clés : formalisme  mathématique  philosophie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
22238	BEN/00A30/10495	Livre	Recherche	Salle	Disponible

Méthode axiomatique et formalisme / Jean CAVAILLÈS (1938)

Public ISBD Titre : Méthode axiomatique et formalisme : essai sur le problème du fondement des mathématiques Type de document : texte imprimé Auteurs : Jean CAVAILLÈS, Auteur Editeur : Paris : Hermann Année de publication : 1938 Importance : 196 p. Langues : Français Mots-clés : méthode axiomatique  formalisme  fondement des mathématiques Note de contenu : index, bibliogr. Méthode axiomatique et formalisme : essai sur le problème du fondement des mathématiques [texte imprimé] / Jean CAVAILLÈS, Auteur . - Paris : Hermann, 1938 . - 196 p. Langues : Français Mots-clés : méthode axiomatique  formalisme  fondement des mathématiques Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5460	CAV/02/733	Livre	Recherche	Salle	Consultable sur place Exclu du prêt

Les limitations internes des formalismes / Jean LADRIERE (1957)

Public ISBD Titre : Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques Type de document : texte imprimé Auteurs : Jean LADRIERE, Auteur Editeur : Louvain [Belgique] : E. Nauwelaerts Année de publication : 1957 Collection : Collection de logique mathématique Sous-collection : Série B. Monographies réunies par M. J. Dopp num. II Importance : XIII-715 p. Langues : Français Mots-clés : théorème de Gödel  formalisme  logique mathématique  fondement des mathématiques Note de contenu : biibliogr. Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques [texte imprimé] / Jean LADRIERE, Auteur . - Louvain (Belgique) : E. Nauwelaerts, 1957 . - XIII-715 p.. - (Collection de logique mathématique. Série B. Monographies réunies par M. J. Dopp; II) . Langues : Français Mots-clés : théorème de Gödel  formalisme  logique mathématique  fondement des mathématiques Note de contenu : biibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5515	LAD/02/3615	Livre	Recherche	Salle	Disponible