Foros de matemática
20/09/2017, 05:02:46 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: Renovado el procedimiento de inserción de archivos GEOGEBRA en los mensajes.
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: ¿Nuestra mente puede ser un ordenador?  (Leído 85 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.039


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
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 146


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.039


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!