[article]
| Titre : |
Du flou et du faux en mathématiques |
| Type de document : |
texte imprimé |
| Auteurs : |
Jean-Paul Delahaye, Auteur |
| Editeur : |
Pour la Science, 2020 |
| Article : |
p.80-85 |
| Note générale : |
Bibliographie. |
| Langues : |
Français (fre) |
in Pour la science > 516 (10/2020)
| Mots-clés : |
mathématiques erreur logique |
| Résumé : |
Le point sur les erreurs mathématiques : la difficulté de vérifier les démonstrations mathématiques, exemples d'erreurs commises par de grands mathématiciens, l'utilisation des assistants de preuve pour réduire le risque d'erreurs, exemples d'énoncés mathématiques prouvés formellement, exemples d'énoncés mathématiques non contrôlés par les assistants de preuve, exemples d'utilisation de la logique formelle en philosophie. |
| Nature du document : |
documentaire |
| Genre : |
/ Article de périodique //Article de périodique |
[article]
|
Du flou et du faux en mathématiques
de Jean-Paul Delahaye
In Pour la science, 516 (10/2020), p.80-85
Le point sur les erreurs mathématiques : la difficulté de vérifier les démonstrations mathématiques, exemples d'erreurs commises par de grands mathématiciens, l'utilisation des assistants de preuve pour réduire le risque d'erreurs, exemples d'énoncés mathématiques prouvés formellement, exemples d'énoncés mathématiques non contrôlés par les assistants de preuve, exemples d'utilisation de la logique formelle en philosophie.
|
| |
Du flou et du faux en mathématiques / Pour la Science (2020) in Pour la science, 516 (10/2020)