Logo Sips
Accueil

Abécédaire

Recherche

Intranet

Contact

Système d'information en philosophie des sciences

Logo Sips
ImprimerEnvoyer le lien

ARTICLE

Le concept de fonction dans les mathématiques au XXe siècle : quelques éléments d’une interprétation philosophique

  • Pages : 149 à 166
  •  
  •  
  •  
  • Date de création : 04-01-2011
  • Dernière mise à jour : 04-01-2011

Résumé :

Français

Cet article s’intéresse au rôle du concept de fonction dans différentes entreprises de fondement des mathématiques (théorie des ensembles, lambda-calcul, théorie des catégories), et à deux situations de travail mathématique dans lesquelles on a développé une approche particulière de ce concept (analyse fonctionnelle et géométrie algébrique à la Grothendiek). – Introduction; – Méthodologie; – Trois tentatives pour fonder les mathématiques sur le concept de fonction : En théorie des ensembles, la notion de fonction chez Fraenkel et von Neumann; En lambda-calcul, la notion de fonction chez Church; En théorie des catégories, la notion de fonction chez Eilenberg et Mac Lane; – De l’analyse de Fourier à Grothendiek. Les bornes du critère extensionnel dans la pratique mathématique; – Conclusion.

 

Résumé :

Français

Cet article s’intéresse au rôle du concept de fonction dans différentes entreprises de fondement des mathématiques (théorie des ensembles, lambda-calcul, théorie des catégories), et à deux situations de travail mathématique dans lesquelles on a développé une approche particulière de ce concept (analyse fonctionnelle et géométrie algébrique à la Grothendiek). – Introduction; – Méthodologie; – Trois tentatives pour fonder les mathématiques sur le concept de fonction : En théorie des ensembles, la notion de fonction chez Fraenkel et von Neumann; En lambda-calcul, la notion de fonction chez Church; En théorie des catégories, la notion de fonction chez Eilenberg et Mac Lane; – De l’analyse de Fourier à Grothendiek. Les bornes du critère extensionnel dans la pratique mathématique; – Conclusion.

 
Haut de pageRetour à la page précédente