Foros de matemática
17/11/2017, 11:45:06 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: LISTADO ACTUALIZADO DE CURSOS
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: ¿Nuestra mente puede ser un ordenador?  (Leído 174 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Raúl Aparicio Bustillo
Pleno*
*****

Karma: +0/-3
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 3.040


Ver Perfil
« : 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
En línea
Masacroso
Pleno*
*****

Karma: +0/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 365


Ver Perfil
« Respuesta #1 : 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.
En línea
Raúl Aparicio Bustillo
Pleno*
*****

Karma: +0/-3
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 3.040


Ver Perfil
« Respuesta #2 : 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 ])"?
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.1 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!