Rincón Matemático

Disciplinas relacionadas y temas generales => Computación e Informática => Mensaje iniciado por: Raúl Aparicio Bustillo en 10 Septiembre, 2017, 12:11 pm

Título: ¿Nuestra mente puede ser un ordenador?
Publicado por: Raúl Aparicio Bustillo en 10 Septiembre, 2017, 12:11 pm
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 Septiembre, 2017, 12:57 pm
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 Septiembre, 2017, 11:52 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 ])"?