« Fondements des mathématiques/Des preuves de cohérence » : différence entre les versions
Contenu supprimé Contenu ajouté
m Bot : Remplacement de texte automatisé (-\b(d|D)(é|e|è)j(a|à)\b +\1éjà) |
m Bot : Remplacement de texte automatisé (-(?<=[^0-9 ]) *, *(?!\s) +, ) |
||
Ligne 34 :
Avant de définir la moindre théorie axiomatique des ensembles, nous savons qu’il y a des systèmes d’axiomes cohérents pour les ensembles parce que nous savons que les ensembles existent d’une façon idéale. Il y a parfois des doutes sur la justesse d’une théorie particulière. Russell a prouvé que la théorie fregeienne des ensembles est contradictoire. On peut aussi avoir des doutes sur le choix de règles formelles particulières. Des logiciens se sont déjà trompés dans l’énoncé des règles pour les variables, par exemple, en omettant de mentionner des contraintes sur les occurrences libres et liées dans les règles de déduction. Mais il n’y a pas de raison d’être plus sceptique sur l’existence idéale de nombreux ensembles élémentaires que sur l’existence des nombres entiers.
Avant de définir des méthodes formelles, nous savons que certaines de nos raisonnements naturels sont fiables, parce que leurs principes sont nécessaires pour tout être rationnel, au sens où toute personne qui prend le temps d’y penser tombe d’accord sur leur nécessité. Si nous n’étions pas convaincus par la vérité de ces principes élémentaires (règles de déduction, vérités sur les mots, les formules et leurs ensembles, ...) alors nous ne pourrions pas être rationnels. Nous sommes convaincus que certaines preuves ont quelque chose à voir avec la vérité. Avant d’énoncer formellement nos principes, nous savons ou nous croyons qu’ils ont une part de vérité. Pourrions-nous avoir tort ?
Que les principes fondamentaux de la raison soient faux ne pourra jamais être prouvé parce que cette preuve affirmerait qu’il n’y a aucune preuve valide et se contredirait elle-même. Est-ce que cet argument prouve que les principes fondamentaux de la raison contiennent une part de vérité ? Il peut être considéré comme une sorte de confirmation, mais le point important est que la preuve de la fiabilité des principes de preuve n’est pas une étape préliminaire obligatoire pour établir la validité d’une preuve. Cette interprétation du principe de Leibniz conduirait à une régression à l’infini et serait donc absurde. A chaque fois que nous donnons une preuve, nous pouvons supposer une sorte d’accord tacite et préalable sur la validité d’au moins quelques principes de preuve, même s’ils ne sont pas clairement formulés.
| |||