| 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 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). |
| Genre : | Article de périodique |
CDI du Lycée La Mennais
Portail d'Information du CDI
Accueil
Adresse
CDI du Lycée La Mennais2,rue Général Dubreton
56800 Ploërmel
0297732500
contact