La vérité en Mathématiques

Le projet

La vérité est souvent considérée comme une notion fondamentale des Mathématiques. Nombreux sont les mathématiciens qui ont même cherché à la poser comme fondement, c'est Le logicisme. Mais sous certains angles, la question de la vérité mathématique n'est pas sans poser de problème. On peut même aller jusqu'à s'interroger sur la pertinence de la prendre comme une pièce essentielle du cadre des fondements Mathématiques.

Le contenu

C'est le chapitre de l'essai sur la nature des mathématiques destiné à l'étude de la vérité

Le livre

La vérité mathématique
Au format PDF
Année: 2008
Taille: 505 pages

Commentaire sur cette page

Nom, alias :

Une fonction d'arrêt constructive... Introduction Le théorème d'arrêt nous dit qu'il n'existe pas d'algorithme permettant de calculer l'arrêt des machines de Turing. La différence entre mathématiques classiques et mathématiques constructives est que la première accepte de raisonner sur des concepts de façon extérieure, sur un mode logique utilisant le tiers-exclu face à la totalité des possibles, sans aucune...

[...la suite ]