La famosa (y enigmática) Máquina de Turing

[EBF74]

Hola a todos!

No sé si este es el foro correcto para esto que quiero comentar... Bueno, vamos a ver. Estoy buscando por Internet información de las primeras máquinas de computar. Siempre me topo con la ENIAC de marras, pero me gustaría encontrar algún documento que hable de alguna máquina un poco más experimental, porque digo yo que algo más (MUCHO MÁS!) hubo antes de la ENIAC. Pero en Internet no encuentro documentos de máquinas más antiguas. Me refiero a máquinas electrónicas. Las mecánicas del rollo Charles Babbage no me interesan. La cuestión es que si sabéis de alguna fuente de información, pues os lo agradeceré.

Pero el tema es que también me encuentro a menudo con la Máquina de Turing. ¿Alguien me puede explicar un poco qué rayos es eso? Porque una máquina en el sentido literal del término no es, desde luego. Parece más un planteamiento teórico que un dispositivo. Parece que Alan Turing quería demostrar no-se-qué idea de computación y desarrolló esta "máquina". Pero amigos, no logro entender lo que quería dar a entender el colega Turing.

¿Vosotros sí? Pues soy todo oidos! Jeje... Saludos y GRACIAS !!!

[gma]

Me refiero a máquinas electrónicas. Las mecánicas del rollo Charles Babbage no me interesan.

hola ebrualla

empieza con esto como aperitivo :
http://personal.telefonica.terra.es/web/calculating/VIDEOS/ORDENADOR_archivos/frame.htm

Babbage no pudo realizar su 'maquina universal' a pesar de todas las ruedas, engranages y demas 'rollos' que llevaba su máquina...en la misma época Torres Quevedo construyó un aritmómetro electromecánico ...(busca informacion en el hilo de su museo)

en cuanto a Turing : ideó (pura teoria) una maquina virtual cerrada  es decir sin entradas ni salidas..,

a ver si te encuentro mas documentos
 Turing icos saludos

Gonzalo

[gma]

hola ebrualla

de todos los documentos que andan sueltos por Internet te propongo este , en castellano , (los hay en inglish, franchute ...):

http://www.dma.eui.upm.es/historia_informatica/Flash/principal.htm

vete a 'origenes' y 'primera generación'

al parecer la primera máquina electrónica fué la 'Colossus'  

lo de la máquina de Turing me parece complicado     a ver si nuestros 'matemáticos' ( alias Teru² y el sargento)  nos dicen algo

Turing - icos saludos
Gonzalo

[e-lento]

¡Casualidades de la vida!

Justo tengo un libro a medio leer donde explican que el Sr Turing era un matemático dado a construir máquinas para hacerlo todo.

De ahí le vino el "pensar" en una máquina que podría resolver una serie de problemas matemáticos por medio de entrarle un, por decirlo así, programa. Por tanto parece que a su máquina virtual (y por lo que con ella "obtuvo") se la considera la precursora de los ordenadores.

Hasta aquí llego yo... (os puedo escanear las páginas del libro pero no hace falta, ¿no?) 

Matemáticos saludos,

[Victory2K]

Según creo, la máquina de Turing es precisamente una construcción teórica. Es una generalización de los autómatas o máquinas de estado. Turing utilizó su modelo para analizar la computabilidad de los problemas, demostrando tanto que hay ciertos problemas que pueden ser resueltos por programación, como otros que no. Se demuestra que cualquier problema "computable" por inmensamente complejo y grande que pueda ser, se reduce al procesamiento por un conjunto pequeño de instrucciones en un tiempo finito....

Para leer más, el artículo de wikipedia, es un buen compienzo.. y los links también son recomendables.

Computabilísticos saludos.

[EBF74]

Hola a todos!

   Sigo investigando por la red... Amigo Gonzalo, la página que me propones con una historia cronológica de las computadoras está muy bien. Hay muchas así por Internet pero esta que me has pasado está muy trabajada.

   También sigo leyendo ingentes cantidades de textos (muchos incomprensibles para mi modesto nivel) sobre la máquina de Turing. Por lo que voy mirando no creo en la idea de que esta máquina es la precursora de las computadoras modernas. Los tiros no van por aquí, por dos razones: la primera, porque hay un montón de artefactos cuyos inventores reivindican que el suyo es el precursor de los ordenadores modernos, cuando la realidad es que ninguno de ellos lo es, puesto que la técnica de la computación es el resultado de una acumulación de pequeños inventos. La segunda razón es que la máquina de Turing no sale del plano teórico. Creo que Victory2K va por el camino correcto.

   En fin, seguiremos leyendo (hasta donde la paciencia aguante)...

   Saludos,

      Emmanuel Brualla.              ((( In Stereo Where Available )))

[EBF74]

AVISO IMPORTANTE A LA POBLACIÓN !!!

   Como ya sabéis, son dos las cuestiones que en estos días me quitan el sueño: las primeras computadoras y la Máquina de Turing. Y sobre estos dos temas he encontrado documentos importantes que pongo a vuestra disposición:

   1. En relación a las computadoras primitivas, una que me llama mucho la atención es la Z3 de Konrad Zuse. Construida con 2.300 relés (es decir, que era una máquina electromecánica) en los años 30, era un ordenador programable con un juego de 9 instrucciones y 64 bytes de memoria (de 22 bits cada uno). El matemático Raúl Rojas ha escrito (en inglés) un más que interesante documento: http://ed-thelen.org/comp-hist/Zuse_Z1_and_Z3.pdf. Vale la pena mirárselo!

   2. Otra agradable sorpresa es la página siguiente: http://www.aturingmachine.com. De verdad os lo digo: miraros esta página porque váis a flipar: un tío ha construído una Máquina de Turing. Hay ejemplos de programación y, lo mejor de todo, hay vídeos que son una maravilla sobre el funcionamiento del cacharro en cuestión.

   Os dejo estas joyas para que las disfrutéis. Si queréis, claro... :)

   Saludos,

      Emmanuel Brualla.                ((( In Stereo Where Available )))

[Victory2K]

Efectivamente, la máquina de turing es un modelo de interés teórico (más allá de que se construya una y funcione). Es algo al estilo de la máquina de Carnot para la termodinámica, que demuestra e impone límites físicos a las máquinas térmicas.

Muy buenos los Links.

Zuse es uno de esos precursores bastante olvidados (será porque perdieron la guerra ?)... Según recuerdo, su mayor avance fue la concepción del uso de la aritmética binaria para el cálculo, cosa impensada en esa época. Y ya lo aplicó en su primera Z1, totalmente mecánica. Tendré que leerlo con detenimiento ....

El modelo de la "turing" lo encontré de los links de la wikipedia.... pero no dije nada para que los veas todos !!! jeje    Realmente buenísimo lo que hizo el loco ese !!!

Gracias !!!

Binarios saludos !

[gma]

Zuse es uno de esos precursores bastante olvidados

aqui teneis todos los detalles de las máquinas Z..,

muy interesante la Z1 COMPLETAMENTE MECANICA....   y construida en el salon de la casa de sus padres   

http://user.cs.tu-berlin.de/~zuse/Konrad_Zuse/en/rechner_z1.html

admirados saludos

Gonzalo

[Victory2K]

Buenas buenas....

Ya que cayó el tema Z1... Pueden ver este recomendable video que no puede dejar a nadie indiferente.


Para ebrualla, fijate en youtube, que hay unos videos muy interesantes sobre la historia de la computacíon del museo de la computación y otros.

Está la reconstrucción y demo de la Colossus, la Eniac.

A veces vamos de cabeza a los documentos serios, pero ver como las máquinas recobran vida es otra dimensión.

Revitales saludos !

PD:  Pueden discutir todo lo que quieran... Pero la primera computadora que me fascinó fue la que sigue... Se acuerdan ?

 

[gma]

Ya que cayó el tema Z1... Pueden ver este recomendable video que no puede dejar a nadie indiferente.

¡me he quedado con la boca abierta! 

¿donde está esa máquina?  ¿en que museo?

sorprendidos saludos

Gonzalo

[Victory2K]

¿donde está esa máquina?  ¿en que museo?

Aparentemente en el museo tecnológico de Berlín : Deutsche Technik Museum Berlin-Kreuzberg

http://www.sdtb.de/Computing-and-automation.1256.0.html

Acabo de leer que la exposición reabre el 10 de septiembre.

MuyLejísticos saludos

[EBF74]

Amigos,

   tenéis razón en cuanto a YouTube. Hay una buena colección de vídeos sobre máquinas reconstruidas. Algunos mejores que otros, claro, pero en general hay material muy bueno.

   Sería un verdadero placer viajar a Alemania o Estados Unidos para ver funcionar alguno de estos trastos, eh?!

Saludos,

   Emmanuel Brualla.       FUNCIONA MEJOR SI LO CONECTAS !!

[rcg]

Amigos,


He estado un par de semanas fuera del circuito del foro, y veo que tenéis temas de gran interés.


Amigo, Emmanuel, muchas felicidades por la gran curiosidad en ambos temas de interés. Todos mostráis mucha preocupación en las primeras computadores y en la Máquina de Turing.

Siendo estudiante en Lingüítica Matemática tuve, con mucho agrado,  , que estudiar y practicar toda la teoría de aquella misteriosa Máquina de Turing. Fue toda una realidad viryual. No hubo Máquina, pero sí un matemático Turing, que además tuvo muchos problemas sociales y personales. Además, su invento fue muy valorado por los Servicios Secretos británicos. Con su teoría permitío a varios matemáticos de los años 60 y 70 hacer un paso más en la demostración del Teorema de Fermat hasta que el matemático británico Andrew Wiles sacara su primera demostración, que, de hecho, fue refutada por un detalle incoherente en su demostración.

En Lingüística Matemática, la Máquina de Turing permite determinar un tipo de "Grámitica" que inspiró a los Modelos "C" y "K". El primero fue desarrollado por Noam Chomsky, con su téoría de Gramática Generativa y Transformacional, que todavía ocupan más de 1 curso en mis años de carrera  . EL segunto, fue otro modelo, muy interesante, pero no tan inmediato como el C, definido por otra cabeza pensante, Mr. Kleene.

La ingeniosidad de la Máquina de Turing fue la toma de conciencia del concepto de algoritmo matematco com base para cualquier dearrollo complejo. Reducir el desarrollo en partes más simples y aplicar procedimeintos singulares fue uno de los méritos de Turing. De hecho, sigue siendo la técnica para programar en infomática, todavía en la actualidad. Así trabajan los automátas programabales o PLC's.

Una anécdota. Hasta este año, la asignatura de Informática II de la carrera de Matemáticas (5 años) de la U.N.E.D., la Máquina de Turing tiene apartado completo de estudio.

Turingísticos saludos

Raimundo

[AHMS]

Hola Raiworld:       

Me alegra leerte, después de dos semanas (+ o -).
 
Muy interesante tú comentario, desconocía la anécdota histórica.
 
Saludos
Antonio

[jfz62]

muy interesante la Z1 COMPLETAMENTE MECANICA....   y construida en el salon de la casa de sus padres   

http://user.cs.tu-berlin.de/~zuse/Konrad_Zuse/en/rechner_z1.html

Gonzalo

  Mira por donde casi después de un año descubro en estas paginas el porqué de una de las conferencias del IM2009 el año pasado (era el segundo día, era en alemán y fue de las ultimas, y ya casi ni sabia donde estaba...  .... ):

  En http://user.cs.tu-berlin.de/~zuse/Konrad_Zuse/en/z1-metal-sheets.html se explica el uso de los "metal sheets" (supongo que la traducción seria hojas de metal)

  En las imágenes del evento que subí al foro  http://arc.reglasdecalculo.org/index.php?topic=1072.0 esta la foto de un panel de demostración completo del uso de tales "hojas de metal":

 

 
 
 

Siendo estudiante en Lingüística Matemática tuve, con mucho agrado,  , que estudiar y practicar toda la teoría de aquella misteriosa Máquina de Turing.

En Lingüística Matemática, la Máquina de Turing permite determinar un tipo de "Grámitica" que inspiró a los Modelos "C" y "K". El primero fue desarrollado por Noam Chomsky, con su téoría de Gramática Generativa y Transformacional, que todavía ocupan más de 1 curso en mis años de carrera 

Raimundo

  Dios!!    Con lo mal que lo pasa la gente con la lingüística "normal" y las matemáticas "normales", las dos juntas (Lingüística Matemática) tiene que ser mortal de necesidad...  


 Maquinisticos Saludos

[rcg]

Cierto, Jorge,


Así sale uno bastante anormal ... 


Pero suficiente para aguantar las barbaridades de esta sociedad 


Matemáticos lingüísticos saludos


Raimundo