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)