| 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 en page(s) : | p.111-120 |
| Note générale | Webographie. |
| Langues de la publication : | Français |
| Descripteurs |
[UNESCO] Algèbre [UNESCO] Logique mathématique |
| Mots-clés : | science mathématique/analyse : logique |
| 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 : | Article de périodique |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 22871 | Presse scientifique | Périodique | CDI 1 | Presse scientifique | Disponible |