Pajot Philippe.
« Penser types plutôt qu'ensembles »
in Science & Vie, 1153 (10/2013), p.111-120.
|
Titre :
|
Penser types plutôt qu'ensembles (10/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.
|
|
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).
|
