Le castor affairé de Tibor Radó

Publié le 02 juin 2008 par Bruno K.

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