Posted by Pr Alan Turing on April 11, 2000 at 08:21:18 AM EDT:
In Reply to: La moulinologie est invariante de falsification posted by Dr Weil (le frère de Simone la folle) on April 11, 2000 at 07:12:23 AM EDT:
Je crois avoir démontré qu'il existe nécessairement des machines moulinologiques de Turing dont on ne peut prédire si elle s'arrêteront ou non!. Il existe donc nécessairement des problèmes incalculables selon cette définition de la calculabilité. Je sais bien cependant que les constructionnistes récusent ce genre de démonstration. Ils me demandent de construire une telle machine. Je crois bien que c'est fait.