Fondements des mathématiques
Une page de Wikiversité.
Fondements des mathématiques
Chapitres
| Chap. 1 : |  Que sont les mathématiques ? (16) |
|---|---|
| Chap. 2 : | La logique (16) |
| Chap. 3 : | Les expressions formelles, les ensembles et les fonctions (16) |
| Chap. 4 : | L'incomplétude mathématique (16) |
| Chap. 5 : | Les axiomes des théories des ensembles (16) |
| Chap. 6 : | Des preuves de cohérence (16) |
| Chap. 7 : | Preuve naturelle de la cohérence de l'arithmétique formelle (16) |
| Chap. 8 : | Construction finitaire de l'ensemble des vérités (16) |
| Chap. 9 : | Preuve formelle de la cohérence de l'arithmétique formelle (16) |
| Chap. 10 : | Cohérence des théories finitaires (16) |
| Chap. 11 : | Second théorème d’incomplétude de Gödel et le programme de Hilbert (16) |
| Chap. 12 : | Paradoxes des théories finitaires (16) |
| Chap. 13 : | Cohérence des théories infinitaires (16) |
Cette leçon expose les principes généraux des mathématiques, c’est-à-dire les principes de la logique et des théories des ensembles.
Elle ne traite pas des principes particuliers aux différents domaines des mathématiques (analyse, algèbre…).
[modifier]
Objectifs
Les objectifs de cette leçon sont :
modifier ces objectifs.
Niveau et prérequis conseillés
Cette leçon est de niveau 16. Les prérequis conseillés sont :
modifier ces prérequis.
Référents
Ces contributeurs sont prêts à vous aider concernant ce cours :
- Phitu (mais restons modeste, je ne sais pas tout !)
modifier les référents.
