[article]
| Titre : |
Pouvons-nous échapper à l'incomplétude ? |
| Type de document : |
texte imprimé |
| Auteurs : |
Jean-Paul Delahaye |
| Editeur : |
Pour la science, 2022 |
| Article : |
p.80-85 |
| Langues : |
Français (fre) |
in Pour la science > 540 (10/2022)
| Descripteurs : |
logique mathématique
|
| Résumé : |
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 énoncés par Kurt Gödel, la thèse de Daniel Isaacson. |
| Nature du document : |
documentaire |
| Genre : |
Article de périodique |
[article] Pouvons-nous échapper à l'incomplétude ? [texte imprimé] / Jean-Paul Delahaye . - Pour la science, 2022 . - p.80-85. Langues : Français ( fre) in Pour la science > 540 (10/2022)
| Descripteurs : |
logique mathématique
|
| Résumé : |
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 énoncés par Kurt Gödel, la thèse de Daniel Isaacson. |
| Nature du document : |
documentaire |
| Genre : |
Article de périodique |
|
Pouvons-nous échapper à l'incomplétude ? / Pour la science (2022) in Pour la science, 540 (10/2022)
