| Titre : | Du flou et du faux en mathématiques (2020) |
| Auteurs : | Jean-Paul Delahaye, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Pour la science (516, 10/2020) |
| Langues de la publication : | Français |
| Descripteurs |
[UNESCO] erreur logique [UNESCO] Mathématiques |
| 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. |
| Note de contenu | Bibliographie. |
| Genre : | / Article de périodique //article de périodique |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 2622 | PER | Périodique | CDI | CDI- rdc | Disponible |