Il est prouvé dans le sens ou il a été testé expérimentalement un nombre innombrable de fois, qu’on construit des tas de choses basés sur ces principes, et que ces appareils marchent comme prévu.
C’est ce que je viens de dire :) L’absence de réfutation est considéré comme une preuve.
Pour prendre un exemple pour montrer la différence entre math et science empirique. La conjecture P!=NP. Scientifiquement ont peut considérer que P et NP sont distincts ; c’est l’hypothèse faite dans la sécurité informatique. Tant qu’on ne trouve pas d’algo polynomiale d’un problème NP-complet on considère que c’est impossible. Mais mathématiquement, c’est très différents ! Il faut une vrai preuve (l’absence de contre exemple connu ne suffit pas).
C’est pour ça qu’un résultat mathématique vrai aujourd’hui sera considéré vrai demain. En science par contre, ça change. On a abandonné la notion de déterminisme, d’espace euclidien, de temps absolu. Les géométries non euclidienne sont une généralisation en math, mais ça ne rends pas Euclide caduque. Par contre Einstein (Lorentz et Poincaré) remplace Newton.
Qu’on le veuille ou non il y a une vrai différence épistémologique en science empirique et math. C’est pour ça que les maths ne sont pas des sciences, elles ne démontrent pas de la même façons.
[^] # Re: J'ai peur ...
Posté par Diagonale de Cantor (site web personnel) . En réponse au journal Liberté d'expression sous les balles. Évalué à 4.
C’est ce que je viens de dire :) L’absence de réfutation est considéré comme une preuve.
Pour prendre un exemple pour montrer la différence entre math et science empirique. La conjecture P!=NP. Scientifiquement ont peut considérer que P et NP sont distincts ; c’est l’hypothèse faite dans la sécurité informatique. Tant qu’on ne trouve pas d’algo polynomiale d’un problème NP-complet on considère que c’est impossible. Mais mathématiquement, c’est très différents ! Il faut une vrai preuve (l’absence de contre exemple connu ne suffit pas).
C’est pour ça qu’un résultat mathématique vrai aujourd’hui sera considéré vrai demain. En science par contre, ça change. On a abandonné la notion de déterminisme, d’espace euclidien, de temps absolu. Les géométries non euclidienne sont une généralisation en math, mais ça ne rends pas Euclide caduque. Par contre Einstein (Lorentz et Poincaré) remplace Newton.
Qu’on le veuille ou non il y a une vrai différence épistémologique en science empirique et math. C’est pour ça que les maths ne sont pas des sciences, elles ne démontrent pas de la même façons.