Alors je vais sûrement passer pour l'ignare de service qui s’immisce dans un débat qui le dépasse mais j'assume : c'est comme ça qu'on apprend :-)
une axiomatisation de la physique.
Je ne comprends pas ce point. Naïvement, pour moi, on a deux choses complètement différentes
1) La théorie mathématique (je dirais plutôt "Le système formel"), basée sur des axiomes arbitraires (mais qui doivent avoir certaines caractéristiques pour que la théorie soit intéressante) ; il n'y a rien à prouver (à part les théorèmes issus de la théorie elle-même)
2) La théorie scientifique, basée sur des postulats qui semblent permettre une bonne formalisation du réel (et donc non arbitraires) ; on cherche à (削除) prouver (削除ここまで) vérifier que les résultats fournis mathématiquement par la formalisation de la théorie sont cohérents avec les observations et, ainsi, conforter les postulats.
Du coup, ça veut dire quoi, une axiomatisation de la physique ?
PS. C'est d'ailleurs pour ça que j'ai du mal à qualifier les mathématiques de "science" au sens habituel du terme.
[^] # Re: Alerte crackpots
Posté par mahikeulbody . En réponse au lien Il est mathématiquement prouvé que nous ne vivons pas dans une simulation informatique. Évalué à 3. Dernière modification le 02 novembre 2025 à 09:34.
Alors je vais sûrement passer pour l'ignare de service qui s’immisce dans un débat qui le dépasse mais j'assume : c'est comme ça qu'on apprend :-)
Je ne comprends pas ce point. Naïvement, pour moi, on a deux choses complètement différentes
1) La théorie mathématique (je dirais plutôt "Le système formel"), basée sur des axiomes arbitraires (mais qui doivent avoir certaines caractéristiques pour que la théorie soit intéressante) ; il n'y a rien à prouver (à part les théorèmes issus de la théorie elle-même)
2) La théorie scientifique, basée sur des postulats qui semblent permettre une bonne formalisation du réel (et donc non arbitraires) ; on cherche à
(削除) prouver (削除ここまで)vérifier que les résultats fournis mathématiquement par la formalisation de la théorie sont cohérents avec les observations et, ainsi, conforter les postulats.Du coup, ça veut dire quoi, une axiomatisation de la physique ?
PS. C'est d'ailleurs pour ça que j'ai du mal à qualifier les mathématiques de "science" au sens habituel du terme.