En vrai la physique est supérieure au math
Incubatteur
il y a 7 mois
L'ontologie c'est particulier
Ca vient cette explication de l'imperfection de la science démontrée par l'existence des axiomes en maths?
Depression61
il y a 7 mois
HomoJudakus
il y a 7 mois
Hischier1313
il y a 7 mois
Ca vient cette explication de l'imperfection de la science démontrée par l'existence des axiomes en maths?
La science c'est juste faire un ensemble de postulat et voir le monde sous ce prisme 
Les maths c'est pareil
Gödel a montré qu'un système d'axiomatique (=ensemble de postulat) contenant au moins l'arithmétique (donc un outil plutôt basique quand on s'en rapporte à étudier l'univers) était nécessairement incomplet, c'est à dire qu'il y'aura certaines questions que tu pourras formuler à partir de cette axiomatique mais que tu ne pourras ni démontrer ni affirmer (on appelle ça des propositions/conjectures indécidables)
Pire encore, l'affirmation "mon système d'axiome est cohérent" (au sens où il ne possèdera aucune contradiction) est elle-même une proposition indémontrable
QuoiMajuscule
il y a 7 mois
ManoAMano12
il y a 7 mois
Incubatteur
il y a 7 mois
La science c'est juste faire un ensemble de postulat et voir le monde sous ce prisme
Les maths c'est pareil
Gödel a montré qu'un système d'axiomatique (=ensemble de postulat) contenant au moins l'arithmétique (donc un outil plutôt basique quand on s'en rapporte à étudier l'univers) était nécessairement incomplet, c'est à dire qu'il y'aura certaines questions que tu pourras formuler à partir de cette axiomatique mais que tu ne pourras ni démontrer ni affirmer (on appelle ça des propositions/conjectures indécidables)
Pire encore, l'affirmation "mon système d'axiome est cohérent" (au sens où il ne possèdera aucune contradiction) est elle-même une proposition indémontrable
C'est gentil de tenter de faire le cours magistral à sa place.
M'enfin la science ce n'est pas faire des postulat et observer le monde sous ce prisme.
Ya une partie ou on vérifie si les postulat tiennent contre des démonstrations expérimentales imparfaites), et les l'implication des résultat obtenu versus le postulat sont discutés, et ensuite, des nouveaux postulats sont formé (si nécessaire, et c'est / ce fut souvent le cas) et ainsi de suite.
Après je ne suis pas formé à la philo des science, je ne sais pas ce que dit Gödel ou même des penseurs plus moderne d'ailleurs. Ma contribution c'est mon expérience de chercheur dans des instituts et des communauté de recherche + ma pratique professionnelle.
Depression61
il y a 7 mois
La science c'est juste faire un ensemble de postulat et voir le monde sous ce prisme
Les maths c'est pareil
Gödel a montré qu'un système d'axiomatique (=ensemble de postulat) contenant au moins l'arithmétique (donc un outil plutôt basique quand on s'en rapporte à étudier l'univers) était nécessairement incomplet, c'est à dire qu'il y'aura certaines questions que tu pourras formuler à partir de cette axiomatique mais que tu ne pourras ni démontrer ni affirmer (on appelle ça des propositions/conjectures indécidables)
Pire encore, l'affirmation "mon système d'axiome est cohérent" (au sens où il ne possèdera aucune contradiction) est elle-même une proposition indémontrable
Oui donc les axiomes mathématiques sont vrais. Tu peux supposer qu'un axiome P est faux, alors (P => Vrai) et (P => Faux) sont tous les deux vrais. Or on arrive uniquement à trouver des propositions qui vérifient la première, bizarre hein
Hischier1313
il y a 7 mois
C'est gentil de tenter de faire le cours magistral à sa place.
M'enfin la science ce n'est pas faire des postulat et observer le monde sous ce prisme.Ya une partie ou on vérifie si les postulat tiennent contre des démonstrations expérimentales imparfaites), et les l'implication des résultat obtenu versus le postulat sont discutés, et ensuite, des nouveaux postulats sont formé (si nécessaire, et c'est / ce fut souvent le cas) et ainsi de suite.
Après je ne suis pas formé à la philo des science, je ne sais pas ce que dit Gödel ou même des penseurs plus moderne d'ailleurs. Ma contribution c'est mon expérience de chercheur dans des instituts et des communauté de recherche + ma pratique professionnelle.
C'est justement ça qui fait des maths un outil mystérieux selon moi
Les théories physiques se formalisent avec les maths et une fois que tu as formalisé tes idées tu vas plus loin que l'expérience que tu as faite, tu obtiens d'autres informations que tu peux en retour expérimenter, à partir de quelques idées que tu t'es fais sur le monde tu peux prédire et expérimenter des nouvelles choses grâce aux maths
A partir de quelques principes fondamentaux que tu arrives à quantifier tu obtiens des pistes d'expériences
Par exemple, la relativité générale postule, dans un certain sens, que la réalité c'est l'espace-temps
Mais la notion d'espace-temps n'a plus sa place en mécanique quantique
Tout simplement parce que tu regardes le monde sous deux prismes différents
Popolt101
il y a 7 mois
Hischier1313
il y a 7 mois
Oui donc les axiomes mathématiques sont vrais. Tu peux supposer qu'un axiome P est faux, alors (P => Vrai) et (P => Faux) sont tous les deux vrais. Or on arrive uniquement à trouver des propositions qui vérifient la première, bizarre hein
Ils seront vrais aussi longtemps qu'on échappera à une contradiction
xaltotun_
il y a 7 mois
Setif1M70
il y a 7 mois