[article]
| Titre : |
Les maths au péril de la contradiction |
| Type de document : |
texte imprimé |
| Auteurs : |
Jean-Paul Delahaye, Auteur |
| Année : |
2019 |
| Article : |
p.78-83 |
| Note générale : |
Bibliographie. |
| Langues : |
Français (fre) |
in Pour la science > 497 (03/2019)
| Descripteurs : |
logique
|
| Mots-clés : |
mathématiques |
| Résumé : |
Le point sur la question de l'existence de contradictions graves dans les mathématiques contemporaines qui entraînerait une remise en cause de leurs fondements : des craintes émises par le mathématicien américain Edward Nelson notamment à propos de l'arithmétique de Peano, les erreurs commises par Nelson dans ses démonstrations, des exemples de contradictions majeures découverts dans l'histoire des mathématiques, la nécessité d'ajustements pour faire disparaître la contradiction, l'intérêt de l'utilisation de l'outil informatique et notamment de la méthode des assistants de preuve pour assurer la rigueur des travaux mathématiques. |
| Nature du document : |
documentaire |
| Genre : |
Article de périodique |
[article] Les maths au péril de la contradiction [texte imprimé] / Jean-Paul Delahaye, Auteur . - 2019 . - p.78-83. Bibliographie. Langues : Français ( fre) in Pour la science > 497 (03/2019)
| Descripteurs : |
logique
|
| Mots-clés : |
mathématiques |
| Résumé : |
Le point sur la question de l'existence de contradictions graves dans les mathématiques contemporaines qui entraînerait une remise en cause de leurs fondements : des craintes émises par le mathématicien américain Edward Nelson notamment à propos de l'arithmétique de Peano, les erreurs commises par Nelson dans ses démonstrations, des exemples de contradictions majeures découverts dans l'histoire des mathématiques, la nécessité d'ajustements pour faire disparaître la contradiction, l'intérêt de l'utilisation de l'outil informatique et notamment de la méthode des assistants de preuve pour assurer la rigueur des travaux mathématiques. |
| Nature du document : |
documentaire |
| Genre : |
Article de périodique |
|
Ajouter le résultat dans votre panier Affiner la rechercheLes maths au péril de la contradiction in Pour la science, 497 (03/2019)
