 > 1305 mathématiques > mathématique > logique mathématique
Synonyme(s)logique formelleVoir aussi |
2 Documents disponibles dans cette catégorie
Article de périodique
Les mathématiciens face au défi des machines
- Dans le périodique : Pour la science, n°535 (05/2022) p.26-34
- Auteur : Michael Harris
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 mac[...]Pouvons-nous échapper à l'incomplétude ?
- Dans le périodique : Pour la science, n°540 (10/2022) p.80-85
- Jean-Paul Delahaye
Le point sur la remise en cause, formulée par le philosophe et logicien Daniel Isaacson, de l'incomplétude du système d'axiomes de Peano : le principe du raisonnement par récurrence, le système d'axiomes de Peano, les théorèmes d'incomplétude én[...]
