Idiomathique du jour
C'est en suivant attentivement les cours de maths qu'on fait grimper l'audimath.
Tibor Radó et le castor affairé
Le mathématicien hongrois Tibor Radó est mort le 12 décembre 1965.
Le castor affairé, dont le nom a été proposé par Tibor Radó, est l'un des premiers exemples de fonction non calculable. Un castor affairé est une machine de Turing à n états qui écrit un maximum de "1" sur son ruban avant de s'arrêter.
Pour essayer de comprendre de quoi il s'agit, on pourra, en complément à l'article de Wikipédia, lire la page "La course aux grands nombres." du blog Somewhere...
Ludwig Sylow
Le mathématicien norvégien Peter Ludwig Mejdell Sylow est né le 12 décembre 1832.
Il est connu pour ses travaux en théorie des groupes, et pour les théorèmes de Sylow formulés en 1872. Le théorème de Lagrange indique que dans un groupe fini l'ordre d'un sous groupe divise l'ordre du groupe. Les théorèmes de Sylow étudient le problème réciproque en garantissant, pour certains diviseurs de l'ordre d'un groupe, l'existence d'un sous-groupe d'ordre correspondant.
John Pell
Le mathématicien anglais John Pell est mort le 12 décembre 1685.
Son nom évoque les équations de Pell :
x² - ny² = ±1.
Le nom de cette équation provient du mathématicien suisse Leonhard Euler qui attribua son étude de façon erronée à John Pell...