« Fondements des mathématiques/Des preuves de cohérence » : différence entre les versions
Contenu supprimé Contenu ajouté
m Bot : Remplacement de texte automatisé (-... +…) |
Aucun résumé des modifications |
||
Ligne 1 :
{{ébauche mathématiques}}
{{Chapitre
{{Chapitre|align=right|titre=Des preuves de cohérence|idfaculté=mathématiques|leçon=[[Fondements des mathématiques]]|numero=6|précédent=[[Fondements des mathématiques/Les axiomes des théories des ensembles|Les axiomes des théories des ensembles]]▼
| titre = Des preuves de cohérence
| idfaculté = mathématiques
| leçon = [[Fondements des mathématiques]]
| numero = 6
▲
}}
Ce chapitre expose des preuves de cohérence des principes mathématiques. Il est plus audacieux que les précédents, pour lesquels presque tous les résultats présentés sont connus et prouvés depuis des décennies.
Ligne 100 ⟶ 105 :
Cette page expose des axiomes pour l’arithmétique formelle et une preuve naturelle, connue des logiciens, de la cohérence de ces axiomes.
{{Loupe
}}
=== Les axiomes de l’arithmétique formelle ===
Ligne 107 ⟶ 114 :
== La construction finitaire de l’ensemble des vérités à partir d’un modèle ==
{{Loupe
}}
== Une preuve formelle de la cohérence de l’arithmétique formelle ==
{{Loupe
}}
== La cohérence des théories des ensembles finitaires ==
{{Loupe
}}
== Le second théorème d’incomplétude de Gödel et le programme de Hilbert ==
Ligne 122 ⟶ 135 :
[[Fondements des mathématiques/Des preuves de cohérence/Cohérence des théories infinitaires|La cohérence des théories infinitaires]]
{{Bas de page
{{Bas de page|idfaculté=mathématiques|leçon=[[Fondements des mathématiques]]|précédent=[[Fondements des mathématiques/Les axiomes des théories des ensembles|Les axiomes des théories des ensembles]]}}▼
| idfaculté = mathématiques
| leçon = [[Fondements des mathématiques]]
▲
}}
[[Catégorie:Fondements des mathématiques]]
|