Catalogue en ligne Annie Le Guennec & Fabienne Dubost _____

Titre :	Penser types plutôt qu'ensembles (2013)
Auteurs :	Philippe Pajot, Auteur
Type de document :	Article : texte imprimé
Dans :	Science & vie (1153, 10/2013)
Article :	p.111-120
Note générale :	Webographie.
Langues:	Français
Descripteurs :	algèbre / analyse : logique / logique mathématique
Mots-clés:	science mathématique
Résumé :	Le point sur les idées neuves en mathématiques : retour sur l’histoire de l’avènement des "maths modernes" jusqu’au développement de la notion de type par Bertrand Russel ; explications concernant l’évolution des théories, des systèmes et de la logique ; précisions sur le nouveau langage et son intérêt pour les chercheurs (applications informatiques, influence dans l’enseignement).
Nature du document :	documentaire
Genre :	Article de périodique