Penser types plutôt qu'ensembles
de Philippe Pajot In La Science et la vie (Paris), 1153 (10/2013), p.111-120 Le point sur les idées neuves en mathématiques : retour sur lhistoire de lavènement des "maths modernes" jusquau 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 lenseignement). |
Pajot Philippe.
« Penser types plutôt qu'ensembles »
in La Science et la vie (Paris), 1153 (10/2013), p.111-120.
Titre : | Penser types plutôt qu'ensembles (2013) |
Auteurs : | Philippe Pajot, Auteur |
Type de document : | Article : texte imprimé |
Dans : | La Science et la vie (Paris) (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 lhistoire de lavènement des "maths modernes" jusquau 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 lenseignement). |
Genre : | Article de périodique |