Disciplinas relacionadas con la matemática => Temas de computación => Mensaje iniciado por: Raúl Aparicio Bustillo en 10/09/2017, 07:11:00 am



Título: ¿Nuestra mente puede ser un ordenador?
Publicado por: Raúl Aparicio Bustillo en 10/09/2017, 07:11:00 am
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


Título: Re: ¿Nuestra mente puede ser un ordenador?
Publicado por: Masacroso en 10/09/2017, 07:57:59 am
Habría que partir de alguna definición formal de mente, y otra de ordenador, para poder enunciar conjeturas sobre el tema.


Título: Re: ¿Nuestra mente puede ser un ordenador?
Publicado por: Raúl Aparicio Bustillo en 11/09/2017, 06:52:25 am
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 ])"?