Lykke

Posté le 18/02/2018 à 15:25:57

En toute généralité la résolution d'un problème en mathématique est relative au cadre axiomatique dans lequel on se place. Pour exemples on peut prouver plus en logique classique qu'en logique intuitionniste et aussi plus dans la théorie des ensembles usuelle que dans la théorie arithmétique.

Genre :
.

.
Vous êtes d'accord avec moi ?

JehanneDArc

Posté le 18/02/2018 à 15:26:57

Intutionniste n'existe pas.

Lykke

Posté le 18/02/2018 à 15:31:08

Citation de JehanneDArc
Intutionniste n'existe pas.

Et ta mémé ?
.

JehanneDArc

Posté le 18/02/2018 à 15:36:02

Ça utilise un langage ésotérique et ça se prend pour un scientifique.
Navré de constater que mon correcteur populaire n'en a nullement connaissance.

Irdoue

Posté le 18/02/2018 à 15:38:40

Je suis parfaitement d'accord.
Un énoncé n'a de vérité que dans l'axiome que l'on se donne

Lykke

Posté le 18/02/2018 à 15:38:45

Citation de JehanneDArc
Ça utilise un langage ésotérique et ça se prend pour un scientifique.
Navré de constater que mon correcteur populaire n'en a nullement connaissance.

"Correcteur populaire"...
.

Lykke

Posté le 18/02/2018 à 15:39:16

Citation de Irdoue
Je suis parfaitement d'accord.
Un énoncé n'a de vérité que dans l'axiome que l'on se donne

C'est bien ce qu'il me semblait aussi.

IntegristeRieur

Posté le 18/02/2018 à 15:42:44

Citation de Irdoue
Je suis parfaitement d'accord.
Un énoncé n'a de vérité que dans l'axiome que l'on se donne

Bah les mathématiques ne sont que construction arbitraire.

Irdoue

Posté le 18/02/2018 à 15:42:48

Citation de Lykke

Citation de Irdoue
Je suis parfaitement d'accord.
Un énoncé n'a de vérité que dans l'axiome que l'on se donne

C'est bien ce qu'il me semblait aussi.

Je dirais même plus, il n'a dé vérité constructible que dans le système d'axiome que l'on se donne.

Lykke

Posté le 18/02/2018 à 15:44:19