Page du lundi 2 juin 2025

Idiomathique du jour

Pas de géométrie les jours de Blues, il faut éviter la droite D'.

Tibor Radó et le castor affairé

Le mathématicien hongrois Tibor Radó est né le 2 juin 1895.

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...