[Raúl Aparicio Bustillo]

Se puede plantear de muchas maneras, desde los teoremas de Gödel hasta ésta en que lo planteo.

Existen números no computables, el clásico es la constante de Chaitin. Parece ser que no está claro al nivel actual si nuestra mente es un ordenador. Entones, ¿un ordenador que solo maneja instrucciones en un lenguaje computables, puede "conocer" algorímticamente la existencia de entes no computables? Si puede, ¿cómo se formaliza, a nivel de maquinas de Turing

[Masacroso]

Habría que partir de alguna definición formal de mente, y otra de ordenador, para poder enunciar conjeturas sobre el tema.

[Raúl Aparicio Bustillo]

Habría que partir de alguna definición formal de mente, y otra de ordenador, para poder enunciar conjeturas sobre el tema.

De ordenador, maquina de Turing, creo que ya la voy comprendiendo (la definición informa de Wikipedia, al menos). De mente, no tengo definición. Replanteado sin un concepto de mente:
¿En una salida o estado de una maquina de Turing se puede formular "este concepto matemático no es computable (recursivo, tiene un algoritmo... [aceptando la tesis de Churc-Turing ])"?