Rapports entre logiques et sciences

[Hibou57]

Il y a deux ou trois ans, j’avais essayé de chercher s’il existe une axiomatisation de la physique. L’impression que j’en avais gardé est que ça n’existe pas et que ça ressemblerait encore à un défit.

Les logiques sont‑elles spécifiques aux maths ou s’appliquent‑elles quand‑même couramment à certaines sciences ? Peut‑être les sciences du langage ?

Des démonstrations en physique ou en chimie sont‑elles envisageable ? Sans reposer sur des expérimentations, ça me semble inenvisageable.

Des gens qui sont (pas nécessairement professionnellement) dans la physique, la chimie ou d’autres sciences ont un avis sur la question ?

 

[majid10]

Il y a deux ou trois ans, j’avais essayé de chercher s’il existe une axiomatisation de la physique. L’impression que j’en avais gardé est que ça n’existe pas et que ça ressemblerait encore à un défit.

Les logiques sont‑elles spécifiques aux maths ou s’appliquent‑elles quand‑même couramment à certaines sciences ? Peut‑être les sciences du langage ?

Des démonstrations en physique ou en chimie sont‑elles envisageable ? Sans reposer sur des expérimentations, ça me semble inenvisageable.

Des gens qui sont (pas nécessairement professionnellement) dans la physique, la chimie ou d’autres sciences ont un avis sur la question ?

la logiques n est rien d autres que des constantes et des parametres variable c est le melange de ces deux
parametres qui definie la logique
attention toute cette logique que nous connaissons n est d application que grace au support
espace temps et matière, aucune logique n est d application dans un trou noir
la logique tire son fond de la singularité

 

[Ebion]

Il y a deux ou trois ans, j’avais essayé de chercher s’il existe une axiomatisation de la physique. L’impression que j’en avais gardé est que ça n’existe pas et que ça ressemblerait encore à un défit.

Les logiques sont‑elles spécifiques aux maths ou s’appliquent‑elles quand‑même couramment à certaines sciences ? Peut‑être les sciences du langage ?

Des démonstrations en physique ou en chimie sont‑elles envisageable ? Sans reposer sur des expérimentations, ça me semble inenvisageable.

Des gens qui sont (pas nécessairement professionnellement) dans la physique, la chimie ou d’autres sciences ont un avis sur la question ?

La science qui est la plus mathématisée, en dehors de la physique, c'est l'économique, et particulièrement la microéconomie. C'était d'ailleurs son talon d'Achille puisque ces édifices mathématiques ont longtemps été développés a priori, à partir d'hypothèses simplistes sur l'individu, l'égoïsme, l'information et la rationalité! Bien sûr certains n'étaient pas dupes, et savaient que ces constructions "rationnelles" ne pouvaient pas coller à la réalité, mais du moins, ça servait comme base de comparaison!

Au moins dans les dernières années, l'économique est devenue plus empirique et a commencé à interagir avec d'autres sciences!

 

[Ebion]

Sinon, la plupart des présentations de la relativité d'Einstein d'un certain niveau font aussi appel à la logique et montrent comment la théorie d'Einstein est la conséquence nécessaire de certains principes de la mécanique classique, jointe au fait de la constance de la vitesse de la lumière. Les livres de vulgarisation parlent de trains, d'ascenseurs, de fusées, mais tout ça, c'est une aide pédagogique. Le raisonnement derrière est d'une grande cohérence logique.

 

[Ebion]

Il y a deux ou trois ans, j’avais essayé de chercher s’il existe une axiomatisation de la physique. L’impression que j’en avais gardé est que ça n’existe pas et que ça ressemblerait encore à un défit.

Les logiques sont‑elles spécifiques aux maths ou s’appliquent‑elles quand‑même couramment à certaines sciences ? Peut‑être les sciences du langage ?

Des démonstrations en physique ou en chimie sont‑elles envisageable ? Sans reposer sur des expérimentations, ça me semble inenvisageable.

Des gens qui sont (pas nécessairement professionnellement) dans la physique, la chimie ou d’autres sciences ont un avis sur la question ?

Descartes et Spinoza, au 17e siècle, ont aussi essayé de développer leur philosophie sous la forme d'un système axiomatique inspiré de la géométrie! La plupart des philosophes de l'époque voulaient des certitudes absolues, et à tort ou à raison, ils pensaient que les mathématiques offraient l'exemple le plus parfait de telles certitudes et évidences.

 

[AncienMembre]

Bonsoir,

L'idée que tu as soulevé sur le présent fil fait l'objet de l'un des 23 problèmes de Hilbert proposés au congrès international des mathématiques organisé au début du 19 ème siècle par David Hilbert. Regarde ici : https://fr.wikipedia.org/wiki/Sixième_problème_de_Hilbert ou ici : https://fr.wikipedia.org/wiki/Problèmes_de_Hilbert
Il s'agit d'une hypothétique axiomatisation globale de la physique dans son ensemble, et non d'une branche particulière de la physique comme par exemple, la physique quantique. Regarde ici comment est établit l'axiomatisation de la physique quantique ici : https://fr.wikipedia.org/wiki/Postulats_de_la_mécanique_quantique
L'équivalent de la notion d'axiomatisation de la physique en mathématique fait l'objet de la théorie de l'unification mathématique. A travers la théorie de l'unification mathématique, on cherche à créer des ponts de passage entre plusieurs théories mathématiques par identification ( i.e : analogie ) en se basant sur la fameuse et bouleversante théorie des topoî crée par le grand mathématicien Grothendieck, qui, à son tour, est basée sur les outils du langage des catégories et la logique catégorique. Pour plus d'infos sur ce sujet, tu peux consulter l'ouvrage d'Alain prouté intitulé : Logique catégorique, disponible gratuitement sur le net. Moi aussi, je m’intéresse de près à ce sujet de théorie d'unification mathématique depuis longtemps, et j'ai à mon compte des prérequis solides à ce sujet si tu en a besoin.
Une des grandes mathématiciennes spécialiste du domaine s'appelle : Olivia Caramelo. Si tu as envie de te cultiver davantage sur ces idées brillantes et sur ces apports sur le sujet, tu n'as qu'à consulter Google. elle est encore jeune, mais maîtrise parfaitement ce domaine mathématique.