Plongement univoque du paradoxe de Richard. Pour la compréhension de cet article, je suppose connu le concept de Machine de Turing ainsi que le procédé diagonal de Cantor. Introduction Voici un énoncé du paradoxe de Richard : si on numérote tous les nombres réels définissables en un nombre fini de mots, alors par le procédé diagonal de Cantor sur les décimales de ces réels, on peut construire un nombre...

[...la suite ]