Toute la mathématique d'aujourd'hui part d'un postulat d'axiomes

Donc infondés, tout les théorèmes et logiques mathématiques proviennent d'axiomes non démontrées.

Tout repose sur des fondements premiers arbitraire.

Vu ce qu'on arrive à en faire, c'est pas trop mal j'imagine

Le 21 octobre 2021 à 07:35:52 :
Donc infondés, tout les théorèmes et logiques mathématiques proviennent d'axiomes non démontrées.

Tout repose sur des fondements premiers arbitraire.

Lesquels par exemple ?

Axiome non démontré ça veut rien dire, évidemment qu'un axiome ne se démontre pas
Et les axiomes sont nécessaires sinon on peut rien construire

Toute rationalité, cohérence mathématique repose sur des axiomes infondés donc par conséquent les mathématiques ne sont ni rationnel ni cohérent hormis dans leurs systèmes de logiques

« Un point n’a pas de dimension. » tu veux démontrer ça comment ?

Le 21 octobre 2021 à 07:35:52 :
Donc infondés, tout les théorèmes et logiques mathématiques proviennent d'axiomes non démontrées.

Tout repose sur des fondements premiers arbitraire.

Bah oui , toute propriétés que tu dérive d'un système logique... Bah... Dérive d'un système logique.

Par contre c'est loin d'être arbitraire et la plupart sont extrêmement intuitif et donc fiable.

Le 21 octobre 2021 à 07:38:21 :
« Un point n’a pas de dimension. » tu veux démontrer ça comment ?

Dimension au sens de dimension d'un espace vectoriel ?

Le 21 octobre 2021 à 07:37:23 :
Axiome non démontré ça veut rien dire, évidemment qu'un axiome ne se démontre pas
Et les axiomes sont nécessaires sinon on peut rien construire

Je pose pas la question de la nécessité ou non des mathématiques mais leurs fondements purement arbitraire.

Tout comme la physique, la chimie, la biologie, etc...
Les sciences sont juste des modèles pour expliquer des phénomènes.

1) Soit A un ensemble
La relation "x € A tel que P(x)" est collectivisante
2) Soit I un ensemble et (Ai)i€I une famille d'ensembles non vides. Alors il existe une fonction f : I -> UAi telle que pour tout i€I, f(i)€Ai

En quoi ces axiomes sont logiques? les maths reposent sur du flan

Le 21 octobre 2021 à 07:44:41 :
1) Soit A un ensemble
La relation "x € A tel que P(x)" est collectivisante
2) Soit I un ensemble et (Ai)i€I une famille d'ensembles non vides. Alors il existe une fonction f : I -> UAi telle que pour tout i€I, f(i)€Ai

En quoi ces axiomes sont logiques? les maths reposent sur du flan

Si t'aimes pas ces axiomes tu peux en prendre d'autres.

Trilemme d'Agrippa, on n'a que trois possibilités pour prouver quelque chose (que ce soit en math, en philo, en physique ou dans la vie de tous les jours) :

-Se baser sur des axiomes.
-Faire un cercle vicieux où A est prouvé par B qui est prouvé par C qui est prouvé par A.
-Faire un raisonnement infini, où A est prouvé par B qui est prouvé par C qui est prouvé par D qui est prouvé par E qui ...

Bref aucune possibilité pleinement satisfaisante, mais la première me semble préférable.

Le 21 octobre 2021 à 07:44:41 :
1) Soit A un ensemble
La relation "x € A tel que P(x)" est collectivisante
2) Soit I un ensemble et (Ai)i€I une famille d'ensembles non vides. Alors il existe une fonction f : I -> UAi telle que pour tout i€I, f(i)€Ai

En quoi ces axiomes sont logiques? les maths reposent sur du flan

Je trouve ça propre. C'est extrêmement intuitif.

et pourtant 1+1=2 donc noraj' les maths ça marche

Le 21 octobre 2021 à 12:49:02 :
et pourtant 1+1=2 donc noraj' les maths ça marche

Défini chacun des termes et , précise quel language , quels axiomes et quel logique tu utilises.https://image.noelshack.com/fichiers/2018/26/7/1530476579-reupjesus.png

Et pourtant on arrive a décrire / prédire les phénomènes physiques bien réels avec. Donc bon va te coucher l'op

Le 21 octobre 2021 à 12:50:43 :
Et pourtant on arrive a décrire / prédire les phénomènes physiques bien réels avec. Donc bon va te coucher l'op

C'est du bricolage très sophistiqué mais c'est tout, y'a aucune compréhension profonde derrière.https://image.noelshack.com/fichiers/2021/37/2/1631628809-jesus-merkel.png

Le 21 octobre 2021 à 12:50:41 :

Le 21 octobre 2021 à 12:49:02 :
et pourtant 1+1=2 donc noraj' les maths ça marche

Défini chacun des termes et , précise quel language , quels axiomes et quel logique tu utilises.https://image.noelshack.com/fichiers/2018/26/7/1530476579-reupjesus.png

1+1=2

Le 21 octobre 2021 à 12:50:43 :
Et pourtant on arrive a décrire / prédire les phénomènes physiques bien réels avec. Donc bon va te coucher l'op

Sauf que la physique ne parle pas de réel mais de réalité. L'op parle de vérité. C'est parfaitement normal qu'un système hypothetico-déductif construit sur des intuitions fondamentales humaines , permettes de décrire des phénomènes vu et interprété par l'homme. La physique n'est pas une preuve de vérité concernant les mathématiques.