La méconception zombie de la science informatique théorique

« Dans le manuel de théorie de la computation d'Introduction à la théorie de la computation de Michael Sipser, il y a un exercice de devoirs parfaitement platonique, si parfait que je peux le reconstruire de mémoire malgré ne pas avoir ouvert le livre depuis plus d'une décennie. Voici comment il se présente : La réponse correcte est que oui, f est calculable. Pourquoi ? Parce que la fonction constante 1 […]"