Discuter:Fondements des mathématiques
Un article de Wikipédia, l'encyclopédie libre.
[modifier] Fondement des maths
- Le preambule me pose problème. je préfèrerais quelque chose comme : Quel est l'axiomatique première ?
- Cette article relève des maths exclusivement. Or le "fondement des maths" (principe premier et pertinence) relève de l'épistémologie. Je suggère donc un article ([[Catégorie:Épistémologie]]) fondement de la mathématique : Les maths reposent sur la logique (puis l'induction, et la pertinence de l'analogie entre réalité et conception formelle). La logique repose_sur/comprend le principe du tiers exclu qui est contestable (voir Paradoxe du menteur). etc.
[modifier] Programme de Hilbert
J'ai modifié ce paragraphe, qui ne m'a pas paru donner la bonne interprétation du programme de Hilbert, voir [1]
Proz 28 avril 2006 à 22:46 (CEST)
[modifier] Le problème des fondements des mathématiques
Ce § est très jargonnant, (est ce que ce jargon est standard quelquepart) ? Sources ? Ca ne me semble pas très cohérent (que devient le second modèle), pas très pertinent non plus : une façon bien compliquée de parler d'axiomes et de théorèmes. Proz 15 mai 2007 à 20:25 (CEST)