Fondements des mathématiques

Une page de Wikiversité.
Aller à : Navigation, rechercher
Fondements des mathématiques
Chapitres
Chap. 1 : Image logo indiquant que la page est une ébauche Que sont les mathématiques ? (16)
Chap. 2 : Image logo indiquant que la page est une ébauche La logique (16)
Chap. 3 : Image logo indiquant que la page est une ébauche Les expressions formelles, les ensembles et les fonctions (16)
Chap. 4 : Image logo indiquant que la page est une ébauche L'incomplétude mathématique (16)
Chap. 5 : Image logo indiquant que la page est une ébauche Les axiomes des théories des ensembles (16)
Chap. 6 : Image logo indiquant que la page est une ébauche Des preuves de cohérence (16)
Chap. 7 : Image logo indiquant que la page est une ébauche Preuve naturelle de la cohérence de l'arithmétique formelle (16)
Chap. 8 : Image logo indiquant que la page est une ébauche Construction finitaire de l'ensemble des vérités (16)
Chap. 9 : Image logo indiquant que la page est une ébauche Preuve formelle de la cohérence de l'arithmétique formelle (16)
Chap. 10 : Image logo indiquant que la page est une ébauche Cohérence des théories finitaires (16)
Chap. 11 : Image logo indiquant que la page est une ébauche Second théorème d’incomplétude de Gödel et le programme de Hilbert (16)
Chap. 12 : Image logo indiquant que la page est une ébauche Paradoxes des théories finitaires (16)
Chap. 13 : Image logo indiquant que la page est une ébauche 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 :

Les objectifs de cette leçon n'ont pas encore été fixés. Pour le faire, cliquez ici.


image logo modifier ces objectifs.

Niveau et prérequis conseillés

Cette leçon est de niveau 16. Les prérequis conseillés sont :

Les prérequis pour cette leçon n'ont pas encore été précisés. Pour le faire, cliquez ici.


Image logo 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 !)


Image logo modifier les référents.

Sur les autres projets Wikimedia :