DETERMINISMO EN LA

FSICA CLSICA.
EL TEOREMA DE GDEL
Y EL TEST DE TURING

SNCHEZ BURGOS, JOS DEL ANGEL

DETERMINISMO EN LA FSICA CLSICA

SE CONSIDERA QUE LA CIENCIA CONTEMPORNEA, BASADA EN EL LLAMADO MTODO

CIENTFICO, COMIENZA CON LAS IDEAS DE GALILEO (1564-1642), KEPLER (1571-1630) Y
NEWTON (1642-1727). CON NEWTON SE ORIGINA LA VERDADERA REVOLUCIN CIENTFICA.
NEWTON ESTABLECE LOS PRINCIPIOS FSICO-MATEMTICOS QUE NOS PERMITEN ENTENDER
EL MOVIMIENTO DE LOS CUERPOS: SUS TRES LEYES DE LA MECNICA[1].
ESTAS LEYES CONSTITUYEN EL NCLEO CENTRAL DE LO QUE SE CONOCE COMO MECNICA
CLSICA, EL CUERPO DE TEORAS DESARROLLADAS POR LOS FSICOS DESDE MEDIADOS
DEL SIGLO XVII HASTA FINALES DEL SIGLO XIX. LA PREMISA FUNDAMENTAL DE LA
MECNICA CLSICA ES QUE LA MATERIA CONSISTE DE UN CONJUNTO DE PARTCULAS CON
MASA Y CARGA Y QUE LAS POSICIONES INSTANTNEAS Y VELOCIDADES DE ESAS
PARTCULAS SE PUEDEN DETERMINAR EXPERIMENTALMENTE CON PRECISIN ARBITRARIA.
EN ESTE SENTIDO, UNO ASOCIA CON LOS SISTEMAS FSICOS UN CONJUNTO DE VARIABLES
DINMICAS QUE POSEEN EN CADA INSTANTE VALORES BIEN DEFINIDOS QUE DETERMINAN
EL ESTADO DEL SISTEMA. LA EVOLUCIN FUTURA DEL SISTEMA QUEDA COMPLETAMENTE
DEFINIDA DANDO LOS VALORES DE ESTAS VARIABLES EN EL ESTADO PRESENTE.
LA EVOLUCIN EN EL TIEMPO DE LAS VARIABLES QUE CARACTERIZAN AL ESTADO DEL
SISTEMA SE DETERMINA ENTONCES RESOLVIENDO UN CONJUNTO DE ECUACIONES DE
MOVIMIENTO.
 LA DISCUSIN ANTERIOR NOS PERMITE FORMULAR UNA CARACTERSTICA
FUNDAMENTAL DE LA MECNICA CLSICA: DADA LA FUNCIN DE FUERZA PARA
UN SISTEMA FSICO, EL ESTADO MECNICO DEL SISTEMA EN CUALQUIER OTRO
INSTANTE ESTAR COMPLETA Y UNVOCAMENTE ESPECIFICADO O
DETERMINADO POR EL ESTADO MECNICO A ALGN INSTANTE INICIAL
ARBITRARIO. ES ESTA CARACTERSTICA DE LAS ECUACIONES DE MOVIMIENTO
LA QUE DEFINE A LA MECNICA CLSICA COMO UNA TEORA DETERMINISTA.
ESTA CARACTERSTICA APARECE REFLEJADA EN UN PASAJE DE PIERRE SIMON
LAPLACE (1749-1827) MUY CITADO [2]:
DEBEMOS CONSIDERAR EL ESTADO PRESENTE DEL UNIVERSO COMO UNA
CONSECUENCIA DE SU ESTADO PREVIO Y COMO LA CAUSA DEL ESTADO QUE
SEGUIR. UNA INTELIGENCIA QUE CONOZCA TODAS LAS FUERZAS QUE ACTAN
EN LA NATURALEZA EN UN INSTANTE DADO AS COMO TAMBIN LAS POSICIONES
MOMENTNEAS DE TODAS LAS COSAS EN EL UNIVERSO, SERA CAPAZ DE
COMPRENDER EN UNA SOLA FRMULA LOS MOVIMIENTOS DE LOS CUERPOS MS
GRANDES COMO TAMBIN LOS DE LOS TOMOS MS LIGEROS EN EL MUNDO,
CON TAL DE QUE SU INTELECTO FUERA LO SUFICIENTEMENTE PODEROSO PARA
SOMETER TODOS LOS DATOS AL ANLISIS; PARA ELLA NADA SER INCIERTO,
TANTO EL FUTURO COMO EL PASADO ESTARAN PRESENTES SIMULTNEAMENTE
ANTE SUS OJOS. LA PERFECCIN QUE LA MENTE HUMANA HA SIDO CAPAZ DE
DARLE A LA ASTRONOMA PROPORCIONA UNA INDICACIN DE TAL INTELIGENCIA.
DESCUBRIMIENTOS EN MECNICA Y GEOMETRA, ACOPLADOS CON AQUELLOS EN
GRAVITACIN UNIVERSAL, HAN TRADO A LA MENTE DENTRO DEL ALCANCE DE
COMPRENDER EN LA MISMA FRMULA ANALTICA EL ESTADO PASADO Y FUTURO
DEL SISTEMA DEL MUNDO
 ESTA SITUACIN ERA EXCESIVAMENTE OPTIMISTA Y CON LAS MATEMTICAS NO SE
HABA CONSEGUIDO ESO, POR UNA PARTE ES IMPOSIBLE QUE LA INTELIGENCIA
PUDIERA LLEGAR A CONOCER TODAS LAS FUERZAS DE LA NATURALEZA Y, POR
OTRA, LAS ECUACIONES SERAN TAN ENORMES QUE SLO LAS PODRA PLANTEAR
Y RESOLVER ESE DEMONIO CALCULADOR EN EL QUE PENSABA LAPLACE.
ADEMS, AUN CONOCIENDO EL TIPO DE ECUACIN QUE SE DEBE PLANTEAR Y
LAS CONDICIONES INICIALES NO SIEMPRE EL DEMONIO DE LAPLACE PODRA
RESOLVER, PORQUE, POR EJEMPLO, EN EL PROBLEMA DE LOS TRES CUERPOS, QUE
CONSISTE EN CALCULAR LAS POSICIONES Y LAS VELOCIDADES DE TRES CUERPOS
DE CUALQUIER MASA EN UN INSTANTE DADO, NO ES SOLUBLE POR CUADRATURAS
POR SER UN PROBLEMA SENSIBLE A LAS CONDICIONES INICIALES.
LO QUE QUIERE DECIR QUE PEQUEAS VARIACIONES EN LAS CONDICIONES
INICIALES CONDUCEN A SOLUCIONES TOTALMENTE DIFERENTES, PRODUCIENDO
UNA SITUACIN CATICA Y POR TANTO NO DETERMINISTA.
LA IDEA DE QUE TODO ESTABA DETERMINADO, QUE PODA DEDUCIRSE DE UNOS
PRINCIPIOS O QUE SE CONOCA LA FORMA EN QUE EVOLUCIONABAN LAS COSAS,
ES UNA CREENCIA EXTRACIENTFICA. LA IDEA DETERMINISTA SURGE DE UNA
EXTRAPOLACIN A TODA LA CIENCIA DE LOS XITOS LOGRADOS POR LA
MECNICA Y EN LA ASTRONOMA. SUPONIENDO QUE SI EN ASTRONOMA Y
MECNICA LAS COSAS SON PREVISIBLES, LA PREVISIN PUEDE HACERSE SOBRE
TODOS LOS FENMENOS FSICOS QUE SUCEDAN DESDE LO MS GRANDE A LO
MS PEQUEO.
 EN LA IDEA DETERMINISTA NO ES AJENA LA IDEA DE UN DIOS INTELIGENTE QUE
CRE LA MATERIA Y LA DOT DE UNAS LEYES. EL HOMBRE, AL ESTUDIAR LA
NATURALEZA, EST PROFUNDIZANDO EN LA COMPRENSIN DE LAS LEYES CON
LAS QUE DIOS LA DOT.
EL OPTIMISMO DETERMINISTA DE LA CIENCIA MODERNA CONSIDER QUE
NEWTON HABA DESCUBIERTO LAS LEYES DE MOVIMIENTO DE LA MATERIA Y QUE
ERA CUESTIN DE TIEMPO COMPLETAR EL CONOCIMIENTO DE LAS OTRAS LEYES
DIVINAS QUE GOBERNABAN EL RESTO DE LOS FENMENOS.
LOS MTODOS DE LA MECNICA CLSICA SE APLICARON A DIVERSOS CAMPOS DE
LA FSICA, COMO LA HIDROSTTICA, LA ELECTRICIDAD, O EL MAGNETISMO Y
FUNCIONARON BIEN DURANTE MS DE DOS SIGLOS. PERO, A FINALES DEL SIGLO
XIX, SU GENERALIDAD SE EMPEZ A CUESTIONAR CON LA MECNICA ESTADSTICA
Y AUNQUE EN ESTA SALV EL DETERMINISMO EVITANDO EL AZAR A NIVEL DE LOS
TOMOS CONSIDERANDO COMPORTAMIENTOS GLOBALES, PROMEDIOS Y
FUNCIONES DE ESTADO SE DESCUBRIERON REAS QUE NO SE PODAN ESTUDIAR
ADECUADAMENTE CON SUS MTODOS DETERMINISTAS COMO ES EL CASO DE LA
FSICA CUNTICA.
UNA PARTCULA CUNTICA APARECER EN UN LUGAR U OTRO Y SE MOVER A
UNA CIERTA VELOCIDAD SOLAMENTE CON CIERTO GRADO DE PROBABILIDAD.LA
FSICA CUNTICA, POR LO TANTO, NO SIGUE LAS LEYES DE LA MECNICA CLSICA,
LO QUE TIENE COMO CONSECUENCIA QUE LOS MTODOS DE LA MECNICA
CLSICA DESCRIBEN SLO UNA PARTE DE LA NATURALEZA.[3]
EL TEOREMA DE GDEL Y EL TEST DE
TURING
TEOREMA DE GDEL
LA DEMOSTRACIN DEL TEOREMA DE GDEL EN SU FORMA ORIGINAL ES MUY
COMPLICADA Y DETALLISTA, COMO NO PODA SER MENOS TRATANDO CON
SISTEMAS FORMALES; SIN EMBARGO, SI NOS PERMITIMOS CIERTAS LIBERTADES
EN LO REFERENTE AL RIGOR LGICO ES POSIBLE EXPRESAR DE UNA MANERA
MS FCIL LA ESTRATEGIA E IDEAS EN QUE SE FUNDAMENTA, ESTO ES LO QUE
INTENTAREMOS A CONTINUACIN:
COMO EN CUALQUIER SISTEMA FORMAL CONSIDERAMOS UN ALFABETO DE
SMBOLOS, REGLAS QUE COMBINEN LOS SMBOLOS Y FORMEN LAS
PROPOSICIONES, UN CONJUNTO DE AXIOMAS Y UN APARATO LGICO DE
REGLAS QUE PERMITA OBTENER NUEVAS PROPOSICIONES A PARTIR DE OTRAS
YA OBTENIDAS DE LOS AXIOMAS.
GDEL ASIGNA UN NMERO A CADA SMBOLO PRIMITIVO DEL ALFABETO. UNA
VEZ QUE A CADA SMBOLO LE CORRESPONDE UN NMERO SE CONTINA
ESTABLECIENDO UNA REGLA QUE ASIGNE UN NMERO A CADA PROPOSICIN.
FINALMENTE SE DEFINE UNA REGLA PARA ASIGNAR UN NMERO A CADA
CADENA DE PROPOSICIONES EN SUCESIN LGICA QUE PRODUCE CADA NUEVA
PROPOSICIN, I.E. SE ASIGNA UN NMERO A CADA DEMOSTRACIN.
 EN LO QUE SE CONOCE COMO LA NUMERACIN DE GDEL. UNA VEZ
QUE CADA PROPOSICIN DEL SISTEMA FORMAL TIENE ASIGNADO UN
NMERO ESTAMOS EN DISPOSICIN DE ANALIZAR LA ESTRUCTURA
RELACIONAL ENTRE DOS PROPOSICIONES CUALESQUIERA ANALIZANDO
LA RELACIN ARITMTICA ENTRE SUS NMEROS CORRESPONDIENTES.
EL SISTEMA DE CODIFICACIN DE GDEL UTILIZA EL PRODUCTO
EXPONENCIAL DE NMEROS PRIMOS, Y SE BASA EN EL TEOREMA DE
FACTORIZACIN DE NMEROS PRIMOS QUE DICE QUE TODO NMERO
SE PUEDE EXPRESAR DE FORMA NICA COMO PRODUCTO DE
NMEROS PRIMOS.

UNA PROPOSICIN SER CONSECUENCIA DE OTRA SI SUS

CORRESPONDIENTES NMEROS ESTN RELACIONADOS DE UNA
MANERA DETERMINADA; AS, GDEL UTILIZA LA ARITMTICA DE LOS
NMEROS ENTEROS PARA ESTABLECER UN METALENGUAJE DEL
SISTEMA FORMAL. ENCONTRAR AS UNA PROPOSICIN QUE ES
VERDADERA PERO QUE NO ES DEMOSTRABLE; VASE GOLDSTEIN [4]
PARA MS DETALLES, ALL SE OFRECE UNA DEMOSTRACIN DEL
TEOREMA GDEL EN FORMA DIVULGATIVA.
 ESTE TEOREMA ES CONOCIDO COMO TEOREMA DE INCOMPLETITUD DE
GDEL; DEMUESTRA GDEL QUE HAY AL MENOS UNA VERDAD QUE NO ES
DEMOSTRABLES DENTRO DEL SISTEMA. SE PODRA PENSAR ENTONCES EN
EXTENDER EL CONJUNTO DE AXIOMAS CON ESTA VERDAD Y RESOLVER EL
PROBLEMA; SIN EMBARGO, EL PROBLEMA PERMANECERA PUES SIGUIENDO
EL MISMO RAZONAMIENTO EXISTIRA UNA NUEVA VERDAD QUE NO SERA
DEMOSTRABLE EN EL SISTEMA, Y AS HASTA EL INFINITO. EN ESTO CONSISTE
LA INCOMPLETITUD DE UN SISTEMA FORMAL.
A PARTIR DE ESTE TEOREMA ES POSIBLE DEDUCIR OTRO QUE SE CONOCE
COMO EL TEOREMA DE INCONSISTENCIA Y QUE DICE QUE EN TODO SISTEMA
FORMAL DEL QUE FORME PARTE LA ARITMTICA NO SE PUEDE DEMOSTRAR
SU PROPIA CONSISTENCIA, I.E. NO SE PUEDE ESTAR SEGURO DE ENCONTRAR
ALGUNA VEZ UNA PROPOSICIN QUE SEA VERDADERA Y FALSA A LA VEZ.
LA RELACIN ENTRE SISTEMAS FORMALES Y COMPUTABILIDAD ES
ESTRECHA, LOS CLCULOS QUE SE REALIZAN DESDE LOS AXIOMAS HASTA
ALCANZAR LA VERDAD O FALSEDAD DE LA FRMULA INICIALMENTE
PROPUESTA ES UN PROCESO COMPUTACIONAL, EN EL SENTIDO INDICADO DE
ALGORITMO DE LA SECCIN ANTERIOR. AS DE ALGUNA MANERA SE PUEDE
DECIR QUE DEMOSTRABILIDAD ES EQUIVALENTE A COMPUTABILIDAD Y QUE
COMPLETITUD ES EQUIVALENTE A DECIDIBILIDAD.
 LAS IMPLICACIONES DE LA INCOMPLETITUD EN LA PROPUESTA DE GDEL
DESMORONAN EL PARASO DE LOS MECANICISTAS DE ENCONTRAR UN
SISTEMA FORMAL EN EL QUE SE PUDIERA DEMOSTRAR TODA VERDAD
MATEMTICA, ES DECIR REDUCIR LA MATEMTICA A UN SISTEMA LGICO
FORMAL UNIVERSAL. PARECE LGICO EXTENDER EL TEOREMA DE GDEL AL
MBITO DE LA FSICA, ESA FSICA CUIDADOSAMENTE AXIOMATIZADA EN EL
SIGLO XIX, ESPECIALMENTE LA MECNICA, QUE SE APOYA EN LA MATEMTICA.
PERO PENSANDO CON MS CUIDADO PUES NO ES TAN INMEDIATO COMO
PARECE, EL TEOREMA DE GDEL DEBE ENTENDERSE EN SU JUSTA MEDIDA,
EN CUANTO QUE ES UN TEOREMA LGICO MATEMTICO DENTRO DEL MUNDO
DE LA IDEAS ABSTRACTAS, EXTENDER SU CONCLUSIONES AL MUNDO DE LAS
REALIDADES FSICAS SUPONE UN SALTO CUALITATIVO. PENROSE CONSCIENTE
DE ESTE HECHO UTILIZA LA MECNICA CUNTICA PARA MOSTRAR PROCESOS
FSICOS QUE SE DAN EN EL CEREBRO QUE NO PUEDEN CONDUCIR A UN
MECANICISMO.
SOBRE LAS IMPLICACIONES EN EL MUNDO REAL DEL TEOREMA DE GDEL SE
HA ESCRITO MUCHO DESDE DISTINTAS PERSPECTIVAS Y ES TODAVA HOY UN
TEMA DE DISCUSIN. DE TODAS FORMAS, DESDE UN SENTIDO PURAMENTE
PRCTICO, EN FSICA SE CONSTRUYE UN SISTEMA Y CUANDO SE ENCUENTRA
MEDIANTE EXPERIMENTOS QUE ALGN FENMENO QUE NO ENCAJA DENTRO
DEL SISTEMA SE RECONSTRUYE LA TEORA [5], PROPONIENDO UN NUEVO
SISTEMA.
 TEST DE TURING

ALAN TURING FUE UN MATEMTICO BRITNICO ESPECIALIZADO EN

CRIPTOGRAFA QUE JUG UN PAPEL IMPORTANTE DENTRO DEL GRUPO QUE
DESCIFR LOS CDIGOS SECRETOS ALEMANES DURANTE LA SEGUNDA
GUERRA MUNDIAL. TURING CONCIBE SU MQUINA COMO UNA DESCRIPCIN
IDEALIZADA DE LA ACTIVIDAD QUE LLEVABAN A CABO LOS CONTABLES
REALIZANDO TEDIOSOS Y RUTINARIOS CLCULOS CON LPIZ Y PAPEL
AYUDADOS A VECES DE TABLAS TRIGONOMTRICAS O DE LOGARITMOS.
HASTA EL ADVENIMIENTO DE LOS ORDENADORES ESTE CLCULO
NUMRICO CONTABLE EMPLEABA A MILES DE PERSONAS EN BANCOS,
ADMINISTRACIN PBLICA Y EN MUCHAS OTRAS EMPRESAS, ERA UNA
ACTIVIDAD MUY COMN EN AQUELLOS DAS; EL MISMO TURING LO INDICA
EN UNA DE SUS PUBLICACIONES [6] SI A UNA PERSONA SE LE FACILITA
PAPEL, LPIZ Y GOMA DE BORRAR Y SE LE SOMETE A UNA DISCIPLINA
ESTRICTA, DICHA PERSONA SE CONVIERTE EN LO QUE SE DENOMINA UNA
MQUINA UNIVERSAL. WITTGENSTEIN FUE MS RADICAL, SI CABE, A LA
HORA DE REFERIRSE A LAS MQUINAS DE TURING: ESTAS MQUINAS SON
HUMANOS QUE CALCULAN.
 EL NOMBRE ALGORITMO, Y LOS ADJETIVOS COMPUTABLE, MECNICO Y
RECURSIVO SE UTILIZAN TODOS PARA DENOTAR EL CARCTER PROPIO DE LAS
OPERACIONES QUE PUEDE REALIZAR UNA MQUINA DE TURING. DEFINAMOS
LO QUE ES UN PROCEDIMIENTO MECNICO M:
1.- M SE EXPRESA MEDIANTE UN NMERO FINITO DE INSTRUCCIONES, DONDE
CADA INSTRUCCIN SE CONSTRUYE A PARTIR DE UN NMERO FINITO DE
SMBOLOS.
2.- M PRODUCIR, SI SE EJECUTA SIN ERROR, EL RESULTADO DESEADO EN UN
NMERO FINITO DE PASOS.
3.- UN SER HUMANO PUEDE EJECUTAR M (EN LA PRCTICA O EN TEORA) SIN
NECESIDAD DE UTILIZAR NINGUNA MQUINA O ARTILUGIO, SLO PROVISTO DE
LPIZ Y PAPEL.
4.- EL HUMANO QUE EJECUTASE EL PROCEDIMIENTO M SIMPLEMENTE TIENE QUE
SEGUIR LAS INSTRUCCIONES Y LOS PASOS QUE DEFINEN A M, NO NECESITA DE
INTUICIONES O COMPRENSIN DE LO QUE SE EST HACIENDO.
PARA CUALQUIER PROCEDIMIENTO MECNICO SE PUEDE ENCONTRAR UNA
MQUINA DE TURING QUE LO REPRESENTE Y EJECUTE. EN ESTE SENTIDO NOS
PREGUNTAMOS SI EL CONCEPTO DE MQUINA DE TURING INCORPORA TODO
PROCEDIMIENTO M MECNICO. CASI PARALELAMENTE AL TRABAJO DE TURING,
SLO UN POCO ANTES ALONZO CHURCH DESCUBRI EL CLCULO LANDA PARA
ABORDAR EL MISMO PROBLEMA PROPUESTO POR HILBERT EN 1900.
 UN POCO MS TARDE ESTOS MISMOS AUTORES DEMOSTRARN QUE EL CLCULO
LANDA Y LA MQUINA DE TURING SON EQUIVALENTES. ESTO VINO A CONOCERSE COMO
LA TESIS DE CHURCH-TURING Y VIENE A DECIR, QUE LA MQUINA DE TURING (Y EL
CLCULO LANDA) DEFINEN LO QUE SE ENTIENDE POR ALGORITMO O PROCESO
MECNICO.
ESTA TESIS NO ERA TAN EVIDENTE HACE 70 AOS, COMO LO PUEDE SER AHORA
GRACIAS A LA CAPACIDAD COMPUTACIONAL DE LOS ORDENADORES DE HOY DA.
TURING DEMOSTR QUE HAY CIERTA CLASE DE PROBLEMAS QUE NO TIENEN SOLUCIN
ALGORTMICA, ENTRE ELLOS EL MS FAMOSO ES EL PROBLEMA DE LA PARADA.
TURING MUESTRA QUE PARA CIERTA CLASE DE PROBLEMAS LA MQUINA QUE LLEVA SU
NOMBRE NO PARA; ES DECIR, NO DECIDE SOBRE LOS PROBLEMAS, ES LO QUE
LLAMAMOS LA CUESTIN DE LA INDECIDIBILIDAD. UNA DEMOSTRACIN SIMPLIFICADA Y
DIVULGATIVA DEL PROBLEMA DE LA PARADA PUEDE VERSE EN [7].
CON LA INDECIDIBILILDAD EL PROBLEMA PROPUESTO POR HILBERT QUEDA RESUELTO
CON UNA RESPUESTA NEGATIVA: NO PUEDE HABER UN ALGORITMO GENERAL QUE
RESUELVA TODO PROBLEMA MATEMTICO. HAY QUE TENER CUIDADO DE NO EXTENDER
LAS CONCLUSIONES MS ALL DE LO QUE PERMITE EL MISMO PROBLEMA RESUELTO.
LOS ALGORITMOS NO DICEN, NI PUEDEN DECIR POR S MISMOS, NADA SOBRE LAS
VERDADES DE LAS SENTENCIAS O PROPOSICIONES MATEMTICAS.
ES INDISCUTIBLE QUE LA VALIDEZ DE UN ALGORITMO DEBE ESTABLECERSE POR
MEDIOS EXTERNOS AL PROPIO ALGORITMO. MENOS AN SE PUEDEN SACAR
CONCLUSIONES QUE IMPLIQUEN A SISTEMAS FSICOS COMO EL CEREBRO. DE MOMENTO
SOLO SE PUEDE DECIR QUE EXISTEN PROBLEMAS PARA LOS QUE NO EXISTE UNA
MQUINA DE TURING MIENTRAS ESOS MISMOS PROBLEMAS S SE INTUYEN POR LA
MENTE HUMANA. O DE OTRA FORMA HAY PROCESOS QUE PUEDE REALIZAR LA MENTE
HUMANA QUE NO SON ALGORTMICOS EN EL SENTIDO DE EXISTENCIA DE UNA MQUINA
DE TURING.
 BIBLIOGRAFA Y LINCOGRAFA
[1] DANIEL A. MORALES, DETERMINISMO, INDETERMINISMO Y LA FLECHA
DEL TIEMPO EN LA CIENCIA CONTEMPORNEA, BOLETN DE LA ASOCIACIN
MATEMTICA VENEZOLANA, VOL. XI, NO. 2 (2004)
[2] P. S. LAPLACE, PHILOSOPHICAL ESSAYS ON PROBABILITIES, TRADUCIDO
POR F. W. TRUSCOTT Y F. L. EMORY, DOVER, NEW YORK, 1951.
[3]
HTTP://INSTINTOLOGICO.COM/EL-DETERMINISMO-CIENTIFICO-EN-LA-CIENCI
A-NEWTONIANA/
[4] GOLDSTEIN R. INCOMPLETENESS. THE PROF. AND PARADOX OF KURT
GDEL. (2005) ATLAS BOOKS. NEW YORK.
[5] BARROW J. D. IMPOSSIBILITY. THE LIMITS OF SCIENCE AND THE SCIENCE
OF LIMITS OXFORD UNIVERSITY PRESS 1998. (TRADUCCIN AL
CASTELLANO EN GEDISA 1999)
[6] TURING A., (1948) INTELLIGENT MACHINERY. NATIONAL PHYSICAL
LABORATORY REPORT. EN MELTZER, B., MICHIE, D. (EDS) 1969. MACHINE
INTELLIGENCE 5. EDIBRGH UNIVERSITY PRESS.
[7] MALPICA J.A, INTRODUCCIN A LA TEORA DE AUTMATAS UAH 1998.