Bonsoir

J'aimerai un exemple de " problème indécidable " ( où c'est prouvé qu'il est indécidable bien sûr) ou d'assertion où l'on ne peut se prononcer sur sa valeur de vérité, car cela dépasse définitivement ma vision pure des mathématiques

Ou bien " Problème indécidable " n'est-elle que l'appellation prouvant l'incapacité de nos contemporains à résoudre les problèmes que Dieu nous a imposé

Je préfère croire en cette alternative qui permet de conserver la pureté des mathématiques qui sont elles-mêmes intimement liée à Dieu qui est lui même pur : c'est bien plus cohérent ainsi

L'hypothèse du continu j'crois.

Oh c'est mignon, il parle encore de mathématiques.

Arrête avec ton délire de Dieu. Il a rien à voir là-dedans, c'est juste une histoire de schéma d'axiomes...

L'hypothèse du continu est indécidable dans ZFC et ne change pas sa consistance.
Mais j'ai appris récemment que ZFC c'était un peu de la daube et que Von Neumann/chais plus qui/Gödel leur mettait la misère...
C'est le bordel la théorie des ensembles en fait

Ça ne serait pas marrant si tout était élucidable. La vie comporte de nombreux mystères, ainsi que les mathématiques...

je comprend rien à vos histoires

http://fr.wikipedia.org/wiki/Fondements_des_mathématiques

c'est juste une histoire d'axiomes ... comme la dit Prauron ...
et ca rejoint, comme la dit Morphisme, la théorie des ensembles ... qui est assez complexe ! et tout est basé sur des axiomes : comme l'axiome du choix (ZFC)

et tiens un truc dont tu dois t'en servir enormement de fois : principe de reccurence, bien sur tout cela est lié, avec la construction des entiers naturels ... suffit de remonter toutes les branches tu trouveras quelque chose revenant a un axiome ...
comme la cité Prauron avec les fondements des mathématiques ...

bien sur ta logique dira : c'est logique et evident ... mais ca n'en reste pas moins qu'un axiome ...