La indicación de que el superconjunto de las computabilidades no tiene porqué residir en el cerebro humano es un acierto de la tesis M.