[article]
| Titre : |
Penser types plutôt qu'ensembles |
| Type de document : |
texte imprimé |
| Auteurs : |
Philippe Pajot, Auteur |
| Editeur : |
Excelsior publications, 2013 |
| Article : |
p.111-120 |
| Note générale : |
Webographie. |
| Langues : |
Français (fre) |
in La Science et la vie (Paris) > 1153 (10/2013)
| 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 |
[article] Penser types plutôt qu'ensembles [texte imprimé] / Philippe Pajot, Auteur . - Excelsior publications, 2013 . - p.111-120. Webographie. Langues : Français ( fre) in La Science et la vie (Paris) > 1153 (10/2013)
| 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 |
|  |
> 2905 philosophie > philosophie > logique > raisonnement > analyse : logique
Ajouter le résultat dans votre panier Affiner la recherchePenser types plutôt qu'ensembles / Excelsior publications (2013) in La Science et la vie (Paris), 1153 (10/2013)
