Академический Документы
Профессиональный Документы
Культура Документы
TURING-SEARLE
FILOSOFIA Y ETICA
(HS-141V)
INDICE
INTRODUCCION..
CAPITULO I:
ALAN MATHISON TURING
1.1 Biografa de Alan Mathison Turing.
1.2 Maquina de Turing.
1.3 Test de Turing.
1.4 Hroe de guerra.
1.5 Final de Alan Turing.
CAPITULO II:
JOHN ROGERS SEARLE
2.1 Biografa de John Rogers Searle.
2.2 La habitacin China.
CAPITULO III:
COMPARACION ENTRE TURING Y SEARLE..
BIBLIOGRAFIA.
INTRODUCCION:
El matemtico ingls Alan Turing fue uno de los pioneros ms importantes en la
creacin de lo que se convertira en La Teora de la Computacin. El misterio fue un
comn denominador a lo largo de la vida de Turing, entre otras cosas por su
participacin en el servicio britnico de inteligencia durante la Segunda Guerra
Mundial. El repudio de la sociedad britnica debido a su homosexualidad, y su trgico
suicidio, siguen siendo motivo de las ms enconadas controversias.
CAPITULO I
ALAN MATHISON TURING
ello en una sola casilla, como las mquinas de escribir convencionales. Finalmente, y en
otra diferencia menor, deba poder ir adelante y atrs.
Una vez planteada esta mquina, Turing dio el paso fundamental y defini sus estados
como configuraciones, que variaban segn lo que lea en la nica casilla activa que tena
a la vez. Es decir, que antes de ponerla en marcha, haba que suministrarle una lista
finita de estados y unas reglas para escoger entre stos. La mquina lea la casilla y
despus, siguiendo 10las normas del estado en que se encontrara, cambiaba o no lo
que haba escrito (borrando o escribiendo), cambiaba o no a otro estado (es decir a otra
forma de reaccionar) y se mova o no una casilla en alguna direccin.
Segua siendo una mquina, puesto que sus estados eran finitos y dependan
completamente del estado inicial, pero era capaz de hacer cosas realmente sofisticadas.
Haca decenios que se aconsejaba el uso de la base 2 para realizar clculos, y Turing
haba imaginado una mquina que trabajaba con dos estados que podan ser asimilados
al 1 y al 0, las unidades del clculo binario. Sera posible que atacase problemas
mecnicos, como determinar si un nmero es primo?
Trabajando varios meses, consigui demostrar que su mquina, llamada ms tarde
Mquina Universal de Turing (o, de forma ms familiar, computador binario) era
capaz de realizar cualquier clculo, si se la dejaba trabajar un nmero suficiente de
pasos y se haban preparado de forma correcta sus estados, cada uno de los cuales
inclua -como se ha dicho- las normas para cambiar a otro en funcin de la ausencia o
presencia de un agujero en la posicin del papel que estaba leyendo en ese mismo
momento.
Se tom muchas molestias para demostrarse a s mismo que una persona que realizase
los mismos clculos actuara de una forma anloga a la mquina, y tambin para
examinar las limitaciones de sta. Descubri que la mquina solamente poda tratar con
lo que llam nmeros satisfactorios, aunque despus les dio el nombre ms oficial de
nmeros computables, con el que han pasado a la historia (algunos autores los vierten
al castellano con el nombre de nmeros calculables). Y as lleg al meollo de la
tercera pregunta de Hilbert. Antes de poner la mquina en marcha, se poda determinar
mediante un algoritmo si llegara a un resultado satisfactorio?
Turing us como ejemplo la diagonalizacin de Cantor para hallar nmeros irracionales,
y demostr que no se poda garantizar que la mquina lo estuviese haciendo bien
excepto reproduciendo a mano su trabajo. La tercera respuesta era no y por tanto no
haba forma de esquivar los resultados de Godel. Las matemticas eran un montaje
intelectual y no tenan ms trascendencia metafsica que el ajedrez. En 11palabras de
Barrows, la matemtica es la nica religin que se ha entretenido en demostrarse falsa
a s misma. La tarea a la que haba pensado dedicar su vida haba terminado antes de
empezar.
Turing escribi su tesis, que era un epitafio a la filosofa matemtica y la demostracin
de que la expresin fundamentos de la matemtica era una contradiccin en sus
trminos (a menos que se aceptase una total arbitrariedad en los axiomas, como la que
modernamente permite considerar que Tarsky resolvi el problema del continuo). Y,
por si no fuera suficientemente triste, descubri que un tal Alonso Church -de Princeton,
en EEUU- se le haba adelantado por unas semanas, aunque con unos resultados mucho
menos generales y que no implicaban mquina alguna.
Despus de este episodio, Turing vagabundeo por diferentes aspectos de la matemtica
de la poca sin sentir gran inters. Su carcter asocial y depresivo le estaban
convirtiendo en un paria, y sus profesores lo enviaron a la universidad de Princeton para
que trabajara con Newman y Church. Esta universidad se estaba llenando de exiliados
alemanes de la antigua capital mundial de la matemtica, Gottingen, la ciudad de
Hilbert.
Pas all dos aos en los que hasta cierto punto se acostumbr a la vida universitaria
americana. Bajo la gida de Von Newman acometi un ataque terico a su propia tesis:
Y si suministrramos un infinito numerable de instrucciones a la mquina? Y qu tal
un infinito numerable de listas, cada una de las cuales contuviese un infinito numerable
de instrucciones? Para cualquier orden de infinito del nmero de instrucciones que hay
que suministrar, los pasos a dar para la comprobacin son de un orden superior? El tema
le empez a aburrir, mientras que en sus horas libres encontr un nuevo reto que le hizo
sentir emocin otra vez. Haba descrito una mquina universal que poda hacer
cualquier clculo Por qu no construirla?
transmitidas entre barcos y submarinos eran un libro abierto para los aliados, pareciendo
que la batalla del mar estaba ya ganada.
Sin embargo, en 1942, la mquina Enigma fue reforzada con un nuevo rotor, y la
Bomba qued insuficiente, por lo que construyeron en 1943 el Colossus, un computador
digital programable, aunque no de propsito general, sino diseado, obviamente, para el
criptoanlisis. Se crearon 10 unidades, que contenan entre 1600 y 2400 vlvulas de
vaco. Meda 2,25 metros de alto, 3 metros de largo y 1,20 de ancho. Los datos se le
introducan con cinta perforada y tena una memoria de 5 caracteres de 5 bits, con lo
que poda procesar 5000 pulsaciones de Enigma por segundo. De nuevo, las rdenes
cifradas enviadas a aviones, submarinos, barcos y otras unidades volvan a ser
conocidas, lo que result decisivo para la victoria aliada. Turing, por sus contribuciones,
recibi la Orden del Imperio Britnico como reconocimiento a su labor. No obstante el
reconocimiento no fue pblico pues, durante dcadas, el trabajo de Turing y el resto del
equipo de Bletchley Park se mantuvieron en secreto.
Entre sus muchos servicios, podemos destacar que el 1 de junio de 1944, Colossus
descifr un mensaje crucial, la confirmacin de que ejrcito alemn esperaba una
invasin masiva en Calais. Esta informacin fue decisiva para que el general
Eisenhower decidiera Normanda como el lugar de desembarco el 6 de junio, el famoso
da D. Este desembarco, masivo y por sorpresa fue el principio del fin de los alemanes.
La mquina Colossus podra e, incluso, debera ser considerada como el primer
computador digital. No obstante tal honor recae, en la actualidad, en la mquina ENIAC
construida en Pennsylvania en 1946, bajo el asesoramiento de Von Neumann, es decir,
3 aos ms tarde. La razn es que la existencia de Colossus se mantuvo en secreto.
Hasta 1975, por una ley britnica, estaba prohibida la mera difusin de su existencia. En
1960 fue destruida la ltima unidad. Tambin se destruyeron planos, esquemas y
documentacin. Colossus, oficialmente no existe. Sobre la documentacin que todava
se conserva sigue vigente la calificacin de secreta que la ley britnica establece por
un periodo de 100 aos.
El hecho de que la mquina Enigma hubiera sido desencriptada durante la guerra
permaneci en secreto hasta finales de los aos 60. Esto permiti que al finalizar el
conflicto, los britnicos y los americanos pudieran vender las mquinas Enigma
sobrantes a muchos pases, que se mantuvieron en la creencia de la seguridad de sta. Es
bastante probable tambin que, para el mantenimiento del secreto, influyera el desastre
de Coventry; esta ciudad fue bombardeada masivamente por la Luftwaffe, con 500
bombarderos en noviembre de 1940, en la operacin denominada Sonata Claro de
Luna, que arroj ms de 150.000 bombas, ocasionando ms de 500 muertos y miles de
heridos. Parece ser que el gobierno de Churchill conoca previamente que el bombardeo
se llevara a cabo, gracias a la interceptacin de los cdigos, y no se hizo nada por
evitarlo, con el objetivo de que el enemigo siguiera confiado en su seguridad. Esta
circunstancia siempre ha sido desmentida por el gobierno britnico; sin embargo, las
pruebas fueron destruidas.
haba hecho, tambin es cierto que tampoco lo fue su nico alegato, que mal no haba
hecho absolutamente ninguno. Su delito fue ser homosexual, y su pecado no
arrepentirse. En 1967 cambi la ley britnica, y se despenaliz el sexo homosexual
consentido; en 1973 la Asociacin Americana de Psiquiatra decidi eliminar la
homosexualidad del 'Manual de Diagnstico de los trastornos mentales' y urgi a
rechazar toda legislacin discriminatoria contra gays y lesbianas. La accin vino
motivada tras una completa revisin cientfica sobre el tema. Aunque an hubo que
esperar casi otras dos dcadas, hasta 1990, para que la Organizacin Mundial de la
Salud retirara la homosexualidad de su lista de enfermedades mentales. La condena de
Turing ya no volvera a producirse, pero desgraciadamente, eso llegaba tarde para l.
CAPITULO II
JOHN ROGERS SEARLE
de que se trata; no obstante, considera que estos no son relevantes como los que si se
incluyen en su teora.
Siempre con referencia al lenguaje, Searle se ha ocupado tambin de cuestiones
filosficas fundamentales como las del sentido y de la referencia, la predicacin y las
relaciones entre descripciones y prescripciones. Tambin se deben a Searle, adems de
su taxonoma de los actos ilocucionarios, el intento de derivar el debe del es y un
anlisis de las proferencias indirectas.
Desde 1976 aproximadamente, Searle se ha interesado particularmente por la filosofa
de la mente. Prueba de ello es su obra Intentionality, en la cual esboza una teora sobre
el contenido de los estados y acontecimientos mentales y critica con energa aquellos
enfoques que tratan de equiparar el funcionamiento de la mente humana con el de los
ordenadores.
En el campo de la tica, se ha interesado especialmente por el anlisis de las
obligaciones.
Sus obras principales son: Speech Acts: An Essay in the Philosophy of Language
(1969), Expression and Meaning: Studies in the Theory of Speech Acts (1979),
Intentionally: An Essay in the Philosophy of Mind (1983), Minds, Brains and Science
(1984), The Foundations of Illocutionary Logic (1985) y The Rediscovery of the Mind
(1993); tambien ha publicado numerosos articulos: How to Derive Ought from Is
(1964), what is a Speech Act? (1965), Chomskys Revolution in Linguistics (1972),
A Taxonomy of Illocutionary Acts (1975), Indirect Specch Acts (1975), what is an
Intentional State? (1979), Minds, Brains, and Programs (1980), Intrinsic
Intentionality (1980) y Indeterminacy, Empiricism and the First Person (1987).
Searle gano el 28 de enero del ao 2000 el Premio Internacional de Ensayo Jovellanos
por su obra Razones para actuar. Era la primera vez que este galardn, dotado con tres
millones de pesetas lo que le convierte en uno de los premios para obras de
pensamiento con mayor remuneracin-, recaa en un autor extranjero desde su creacin
en 1995.
Supongamos que han pasado muchos aos, y que el ser humano ha construido una
mquina aparentemente capaz de entender el idioma chino, la cual recibe ciertos datos
de entrada que le da un hablante natural de ese idioma, estas entradas seran los signos
que se le introducen a la computadora, la cual ms tarde proporciona una respuesta en
su salida. Supngase a su vez que esta computadora fcilmente supera la Prueba de
Turing, ya que convence al hablante del idioma chino de que s entiende completamente
el idioma, y por ello el chino dir que la computadora entiende su idioma.
Ahora Searle nos pide que supongamos que l est dentro de ese computador
completamente aislado del exterior, salvo por algn tipo de dispositivo (una ranura para
hojas de papel, por ejemplo) por el que pueden entrar y salir textos escritos en chino.
Supongamos tambin que fuera de la sala o computador est el mismo chino que crey
que la computador entenda su idioma y dentro de esta sala est Searle que no sabe ni
una sola palabra en dicho idioma, pero est equipado con una serie de manuales y
diccionarios que le indican las reglas que relacionan los caracteres chinos (algo parecido
a "Si entran tal y tal caracteres, escribe tal y tal otros").
De este modo Searle, que manipula esos textos, es capaz de responder a cualquier texto
en chino que se le introduzca, ya que tiene el manual con las reglas del idioma, y as
hacer creer a un observador externo que l s entiende chino, aunque nunca haya
hablado o ledo ese idioma.
Dada esta situacin cabe preguntarse:
CAPITULO III
COMPARACIONES ENTRE TURING Y SEARLE
La diferencia de la caja china con la mquina de Turing est en que los mensajes
introducidos y recibidos por el interlocutor tienen una estructura sintctica y un
contenido semntico. El hombre de dentro no significa nada, es decir, solo tienen
contenido sintctico. Segn Searle el androide imaginado por Turing sera solo una
sper complicada caja china, capaz de procesar datos y producir respuestas coherentes
pero sin saber lo que hace. Searle afirma que la inteligencia artificial sera solo una
imitacin de la verdadera inteligencia.
Caractersticas de los programas informticos y de la mente humana.
Para Searle los ordenadores no son sujetos epistemolgicos ya que se limitan a
manipular smbolos (sintaxis) y esto no es suficiente para que haya conocimiento
(semntica). Sin embargo la mente humana posee contenidos mentales y esto se explica
ya que los cerebros causan estados mentales en virtud de procesos neurobiolgicos. Es
decir las mquinas no tienen capacidad emotiva ni cognitiva en el sentido de que no
pueden desarrollarse por s mismas sino que necesitan de un aporte de informacin por
parte un humano. La diferencia entre la mente humana y un programa informtico
reside en la construccin material de cada uno. Y cuando los dos realicen la misma
funcin, los cerebros pueden tener intencionalidad semntica. Esta es la caracterstica
definitoria de la mente humana.
BIBLIOGRAFIA:
http://www.biografiasyvidas.com/biografia/t/turing.htm
http://www.lcc.uma.es/~pastrana/EP/trabajos/37.pdf
http://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing
http://sci2s.ugr.es/seminars/5/AE%20Paralelos.pdf
http://personal.telefonica.terra.es/web/taa/pdf/Test_de_Turing.pdf
http://es.wikipedia.org/wiki/Test_de_Turing
http://mates.albacete.org/Olimpiadas/ab_19/probfinal_archivos/ALAN%20TURING%2
0Tarazona.pdf
http://es.wikipedia.org/wiki/John_Searle
http://www.mcnbiografias.com/app-bio/do/show?key=searle-john-rogers
http://es.wikipedia.org/wiki/Habitaci%C3%B3n_china
http://kollontai-reflexionesdeclase.blogspot.com/2011/03/j-searle-es-la-mente-unprograma.html
http://lapalabradeunmentiroso.blogspot.com/2008/10/inteligencia-artificial-turingcontra.html