variables conjuguées

Lors d’un cours de physique, une équation m’avait particulièrement frappé parce qu’on la retrouve dans des domaines très divers. Elle décrit en effet aussi bien les variations de température que la distance parcourue par une voiture, la diminution de la longueur d’une bougie allumée et beaucoup d’autres choses encore. J’avais cherché à comprendre comment la même formule pouvait s’appliquer à tous ces phénomènes. L’explication tient en ces quelques mots : les mathématiques permettent d’extraire la structure logique commune à de nombreux faits différents. Je retrouvais effectivement ce que Galilée avait découvert quatre siècles auparavant et qui lui faisait dire que les mathématiques sont le langage de l’Univers.

Auteur: Reeves Hubert

Info: Je n'aurai pas le temps : Mémoires

[ calcul des prédicats ] [ logique du premier ordre ] [ classes naturelles ] [ méta-moteurs ]

théorie-pratique

Nous avons parlé ici de la prédiction de faits de même nature que ceux à partir desquels notre règle a été recueillie. Mais la preuve en faveur de notre induction est d'un caractère beaucoup plus élevé et plus fort lorsqu'elle nous permet d'expliquer et de déterminer des cas d'un genre différent de ceux qui ont été envisagés lors de la formation de notre hypothèse. Les cas où cela s'est produit, en effet, nous impressionnent avec la conviction que la vérité de notre hypothèse est certaine. Aucun accident ne pourrait donner lieu à une coïncidence aussi extraordinaire. Aucune supposition fausse ne pourrait, après avoir été ajustée à une classe de phénomènes, représenter si exactement une classe différente, alors que l'accord était imprévu et non envisagé. Le fait que des règles émanant d'endroits éloignés et sans lien entre eux se rejoignent ainsi ne peut provenir que du fait que c'est là que réside la vérité.

Auteur: Whewell William

Info: The Philosophy of the Inductive Sciences (1840), Vol. 2, 230.

[ logique du premier ordre ] [ équations universelles ] [ méta-moteur ] [ analogies ] [ correspondances ]