Les Mathématiques utilisent la logique comme une méthode :
la théories des mathématiques ne sont rien d'autre qu'un système formel (la logique) adjoint à une axiomatique donnée (Zermelo-Frankel par exemple, ce qui constitue la théorie des ensembles)
Ca n'empêche nullement les mathématiques d'avoir une branche qui s'appellent "arithmétique des méthodes"
La Physique utilisent les Mathématiques comme méthode. On utilise une théorie mathématique pour représenter la réalité (établir un modèle), puis on conduit les calculs à l'intérieur du système formel que sont les mathématiques jusqu'au résultat, et enfin on l'applique à l'objet physique (et on vérifie que ça marche, si on peut).
J'aurais même tendance à dire que l'informatique peut être vue comme une méthode des mathématiques (à explorer, je ne suis pas sûr et j'ai pas le temps d'y penser ce soir)
[^] # Re: Microsoft conclut un accord à l'amiable avec Be
Posté par Douglas Rafferty . En réponse à la dépêche Microsoft conclut un accord à l'amiable avec Be. Évalué à 2.
la théories des mathématiques ne sont rien d'autre qu'un système formel (la logique) adjoint à une axiomatique donnée (Zermelo-Frankel par exemple, ce qui constitue la théorie des ensembles)
Ca n'empêche nullement les mathématiques d'avoir une branche qui s'appellent "arithmétique des méthodes"
La Physique utilisent les Mathématiques comme méthode. On utilise une théorie mathématique pour représenter la réalité (établir un modèle), puis on conduit les calculs à l'intérieur du système formel que sont les mathématiques jusqu'au résultat, et enfin on l'applique à l'objet physique (et on vérifie que ça marche, si on peut).
J'aurais même tendance à dire que l'informatique peut être vue comme une méthode des mathématiques (à explorer, je ne suis pas sûr et j'ai pas le temps d'y penser ce soir)