[article]
| Titre : |
Les mathématiciens face au défi des machines |
| Type de document : |
texte imprimé |
| Auteurs : |
Michael Harris, Auteur |
| Editeur : |
Pour la Science, 2022 |
| Article : |
p.26-34 |
| Langues : |
Français (fre) |
in Pour la science > 535 (05/2022)
| Descripteurs : |
intelligence artificielle
logique mathématique
|
| Mots-clés : |
raisonnement scientifique |
| Résumé : |
Réflexion sur la place de l'humain face aux performances grandissantes des machines dans le domaine des mathématiques : la confirmation pour la première fois en 2020 d'un théorème par un logiciel sans vérification humaine, l'usage ancien des machines en mathématiques, l'apport des ordinateurs dans le développement des mathématiques, la formulation de conjectures par les mathématiciens sur la base de données produites par les ordinateurs, la polémique liée au statut d'une preuve mathématique non vérifiable par l'être humain, la formalisation des preuves en mathématiques, l'importance de ne pas mettre en compétition êtres humains et machines et de ne pas oublier la part de créativité que l'homme apporte aux mathématiques. |
| Nature du document : |
documentaire |
| Genre : |
Article de périodique |
[article] Les mathématiciens face au défi des machines [texte imprimé] / Michael Harris, Auteur . - Pour la Science, 2022 . - p.26-34. Langues : Français ( fre) in Pour la science > 535 (05/2022)
| Descripteurs : |
intelligence artificielle
logique mathématique
|
| Mots-clés : |
raisonnement scientifique |
| Résumé : |
Réflexion sur la place de l'humain face aux performances grandissantes des machines dans le domaine des mathématiques : la confirmation pour la première fois en 2020 d'un théorème par un logiciel sans vérification humaine, l'usage ancien des machines en mathématiques, l'apport des ordinateurs dans le développement des mathématiques, la formulation de conjectures par les mathématiciens sur la base de données produites par les ordinateurs, la polémique liée au statut d'une preuve mathématique non vérifiable par l'être humain, la formalisation des preuves en mathématiques, l'importance de ne pas mettre en compétition êtres humains et machines et de ne pas oublier la part de créativité que l'homme apporte aux mathématiques. |
| Nature du document : |
documentaire |
| Genre : |
Article de périodique |
|
> 1305 mathématiques > mathématique > logique mathématique
Ajouter le résultat dans votre panier Affiner la rechercheLes délicats paradoxes de Berry et de Skolem / Pour la Science (2021) in Pour la science, 525 (07/2021)
Jouer efficacement au sudoku / Accromath (12/2013)
