Diferencia entre revisiones de «Taller de Amereida 2014: Clase 4»

De Casiopea
(Página creada con «{{Clase |Asignaturas Relacionadas=Taller de Amereida, |Cursos Relacionados=Taller de Amereida 2014, |Número=4 |Fecha=2014/03/26 }} ====Jaime Reyes==== =====El problema ...»)
 
Sin resumen de edición
 
(No se muestran 6 ediciones intermedias de 2 usuarios)
Línea 1: Línea 1:
{{Clase
{{Clase
|Asignaturas Relacionadas=Taller de Amereida,  
|Asignaturas Relacionadas=Taller de Amereida,
|Cursos Relacionados=Taller de Amereida 2014,  
|Cursos Relacionados=Taller de Amereida 2014,
|Número=4
|Número=4
|Fecha=2014/03/26
|Fecha=2014/03/26
}}
}}
====Jaime Reyes====
=Jaime Reyes=
=====El problema del significado=====
==El problema del significado==


En su Hay que Ser Absolutamente Moderno y en otros textos Godofredo Iommi abordó el problema del significado en la poesía. Lo hizo casi diciendo lo mismo que Claude Shannon. Escuchémoslo:
En su Hay que Ser Absolutamente Moderno y en otros textos Godofredo Iommi abordó el problema del significado en la poesía. Lo hizo casi diciendo lo mismo que Claude Shannon. Escuchémoslo:
Línea 14: Línea 14:
Cayeron los significados, con ellos el sentido de un mundo. ¿Qué va a ocurrir? Lo espléndido, de nuevo abierta, reiniciada, la aventura”.
Cayeron los significados, con ellos el sentido de un mundo. ¿Qué va a ocurrir? Lo espléndido, de nuevo abierta, reiniciada, la aventura”.


=====La Aventura=====
==La Aventura==


Que quiere decir esto hoy. Veamos.  
Que quiere decir esto hoy. Veamos.  
Línea 47: Línea 47:


Las personas actuamos de acuerdo a la selección natural; esto es sobrevivir a toda costa. Pero a su vez estamos dotados de conciencia moral, y esto nos permite decir y decidir sobre esos mismos comportamientos naturales. Podemos abstenernos de asesinar a nuestro vecino para comernos su comida, o podemos contribuir a extender la democracia que garantice mejores oportunidades para todos. Por ejemplo una democracia que impida o controle los arrebatos de la selección natural a través de leyes justas.
Las personas actuamos de acuerdo a la selección natural; esto es sobrevivir a toda costa. Pero a su vez estamos dotados de conciencia moral, y esto nos permite decir y decidir sobre esos mismos comportamientos naturales. Podemos abstenernos de asesinar a nuestro vecino para comernos su comida, o podemos contribuir a extender la democracia que garantice mejores oportunidades para todos. Por ejemplo una democracia que impida o controle los arrebatos de la selección natural a través de leyes justas.
La idea de que son los genes los principales autores responsables (junto o además del ambiente) del comportamiento de cada cual, quiere decir que somos maravillosamente únicos y que hagan lo que hagan las ideologías totalitarias, la humanidad prevalecerá floreciendo en esa diferencia.  
La idea de que son los genes los principales autores responsables (junto o además del ambiente) del comportamiento de cada cual, quiere decir que somos maravillosamente únicos y que hagan lo que hagan las ideologías totalitarias, la humanidad prevalecerá floreciendo en esa diferencia.


=====Conclusión=====
==Conclusión==


Sin embargo, desde mi punto de vista, el principal aporte de estas nuevas ideas es el siguiente: todas estas ideas posmodernistas y relativistas que dominaron nuestro tiempo negaban la existencia de una naturaleza humana común a toda la especie. La negaban cuando pretendían “la idea de que la mente humana carece de una estructura inherente y que la sociedad y nosotros mismos podemos escribir en ella a voluntad”.
Sin embargo, desde mi punto de vista, el principal aporte de estas nuevas ideas es el siguiente: todas estas ideas posmodernistas y relativistas que dominaron nuestro tiempo negaban la existencia de una naturaleza humana común a toda la especie. La negaban cuando pretendían “la idea de que la mente humana carece de una estructura inherente y que la sociedad y nosotros mismos podemos escribir en ella a voluntad”.
Línea 63: Línea 63:
en la vigilia y coraje de hacer un mundo”.
en la vigilia y coraje de hacer un mundo”.


====Herbert Spencer====
=Herbert Spencer=
=====Pizarra 0=====  
==Pizarra 0==
<div style='font-size: 62px; text-align: center'>
<div style='font-size: 62px; text-align: center'>
Å<br><br>
Å<br><br>
Línea 94: Línea 94:
</nowiki></pre><ref>Amereida I, pág. 145</ref>
</nowiki></pre><ref>Amereida I, pág. 145</ref>


=====Pizarra 1=====
==Pizarra 1==
======El Golem======
===El Golem===
<div style="text-align: center">[[Archivo:Aleph.jpg|center|140px]]</div>
<div style="text-align: center">[[Archivo:Aleph.jpg|center|140px]]</div>
En el siglo XVI, en el ghetto judío de Praga, uno de los más antiguos del mundo, vivía el rabí Judah Loew ben Bezalel, quien era filósofo, astrólogo, astrónomo, y observador de las ciencias naturales. Era conocido como Judá León o el Majaral, que significa “el más venerado maestro y rabí”.  
En el siglo XVI, en el ghetto judío de Praga, uno de los más antiguos del mundo, vivía el rabí Judah Loew ben Bezalel, quien era filósofo, astrólogo, astrónomo, y observador de las ciencias naturales. Era conocido como Judá León o el Majaral, que significa “el más venerado maestro y rabí”.  
Línea 211: Línea 211:
y con el lenguaje, es posible describir y construir varios Alephs<ref>Georg Cantor nombra a los distintos órdenes de infinitos con la letra Aleph; Aleph sub cero, Aleph sub uno, Aleph sub dos, ...</ref>
y con el lenguaje, es posible describir y construir varios Alephs<ref>Georg Cantor nombra a los distintos órdenes de infinitos con la letra Aleph; Aleph sub cero, Aleph sub uno, Aleph sub dos, ...</ref>


=====Pizarra 2=====
==Pizarra 2==
======Máquina de Turing======
===Máquina de Turing===
  {{#widget:YouTube|id=E3keLeMwfHY}}
  {{#widget:YouTube|id=E3keLeMwfHY}}
Video de una Máquina te Turing funcionando
Video de una Máquina te Turing funcionando
Línea 232: Línea 232:
definida como δ:Q×∑→Q.
definida como δ:Q×∑→Q.


=====Pizarra 3=====
==Pizarra 3==
======Autómata======
===Autómata===
[[Archivo:rule30.gif|frame|Esta es una Máquina de Turing Universal (MTU). Pensemos el dibujo como una cinta 2D. Cellular Automata Rule 030: [00011110]|718px]]
[[Archivo:rule30.gif|thumb|Esta es una Máquina de Turing Universal (MTU). Pensemos el dibujo como una cinta 2D. Cellular Automata Rule 030: 00011110]]


La regla 30, fue abordada por Stephen Wolfram en su libro "A New Kind of Science"<ref>Wolfram ahora desarrolla un lenguaje computacional, el Lenguaje Wolfram, ''Wolfram Language'': http://www.wolfram.com/language/ (propietario y aun no disponible) Es un lenguaje que utiliza mútiples paradigmas, desde el lenguaje simbólico matemático al lenguaje humano natural. Se trata de un lenguaje altamente automatizado al tener descrito, en él mismo, las abstracciones detalladas del mundo y de sus procesos. Al encadenarlo hábilmente construyendo frases, el lenguaje es capaz de ejecutarse y traer un resultado. Obviamente conociendo mejor la sintaxis del lenguaje, mejores resultados voy a poder traer.</ref>
La regla 30, fue abordada por Stephen Wolfram en su libro "A New Kind of Science"<ref>Wolfram ahora desarrolla un lenguaje computacional, el Lenguaje Wolfram, ''Wolfram Language'': http://www.wolfram.com/language/ (propietario y aun no disponible) Es un lenguaje que utiliza mútiples paradigmas, desde el lenguaje simbólico matemático al lenguaje humano natural. Se trata de un lenguaje altamente automatizado al tener descrito, en él mismo, las abstracciones detalladas del mundo y de sus procesos. Al encadenarlo hábilmente construyendo frases, el lenguaje es capaz de ejecutarse y traer un resultado. Obviamente conociendo mejor la sintaxis del lenguaje, mejores resultados voy a poder traer.</ref>
Línea 240: Línea 240:
La idea de que el lenguaje como un exterior a las cosas, como sustancia, materia, encarnación de aquello que dice y que nombra. Pero es su proceso de "lenguajear", de ser leído o accionado, lo que permite alcanzar cierto grado de irreductibilidad, como la que observamos en la regla 30. Del mismo modo, los números reales computables, como por ejemplo π, es computable e irreductible de este modo, al tratarse de un número real trascendente.
La idea de que el lenguaje como un exterior a las cosas, como sustancia, materia, encarnación de aquello que dice y que nombra. Pero es su proceso de "lenguajear", de ser leído o accionado, lo que permite alcanzar cierto grado de irreductibilidad, como la que observamos en la regla 30. Del mismo modo, los números reales computables, como por ejemplo π, es computable e irreductible de este modo, al tratarse de un número real trascendente.


=====Pizarra 4=====
==Pizarra 4==
======Paradigmas del Lenguaje Computable======
===Paradigmas del Lenguaje Computable===
=======El paradigma Imperativo=======
====El paradigma Imperativo====
“Primero haz esto, a continuación haz aquello” es una frase que en pocas palabras describe el espíritu del paradigma imperativo. La idea básica es el comando, que tiene un efecto medible sobre el estado del programa. La frase también refleja que la orden de los comandos es importante. Su abstracción natural es el procedimiento
“Primero haz esto, a continuación haz aquello” es una frase que en pocas palabras describe el espíritu del paradigma imperativo. La idea básica es el comando, que tiene un efecto medible sobre el estado del programa. La frase también refleja que la orden de los comandos es importante. Su abstracción natural es el procedimiento
=======El paradigma Funcional=======
====El paradigma Funcional====
Este paradigma se funda en la teoría matemática de las funciones. Esto lo hace mucho más limpio que el paradigma imperativo. Sus frases son cortas y elegantes, pero difíciles de comprender a primera vista. Es de naturaleza atemporal, infinitivo, con valores no mutables. Su abstracción natural es la función. f(x)
Este paradigma se funda en la teoría matemática de las funciones. Esto lo hace mucho más limpio que el paradigma imperativo. Sus frases son cortas y elegantes, pero difíciles de comprender a primera vista. Es de naturaleza atemporal, infinitivo, con valores no mutables. Su abstracción natural es la función. f(x)
=======El paradigma Lógico=======
====El paradigma Lógico====
El paradigma de lo lógico se funda sobre la base de axiomas, reglas de inferencia y consultas, lo que lo hace dramáticamente diferente de los otros tres paradigmas. La ejecución de un programa lógico se convierte en una búsqueda sistemática de un conjunto de hechos, haciendo uso de un conjunto de reglas de inferencia. Este paradigma es el que funda la inteligencia artificial como la conocemos hoy. Su abstracción natural de la clase algorítmica.
El paradigma de lo lógico se funda sobre la base de axiomas, reglas de inferencia y consultas, lo que lo hace dramáticamente diferente de los otros tres paradigmas. La ejecución de un programa lógico se convierte en una búsqueda sistemática de un conjunto de hechos, haciendo uso de un conjunto de reglas de inferencia. Este paradigma es el que funda la inteligencia artificial como la conocemos hoy. Su abstracción natural de la clase algorítmica.
=======Paradigma Orientado a Objetos=======
====Paradigma Orientado a Objetos====
Este paradigma se funda los conceptos y modelos de interacción humana con los fenómenos del mundo real, por lo tanto sus componentes son las categorías (o clases), sus variables internas y sus operaciones. La interacción entre objetos se efectúa mediante el intercambio de un mensaje.  
Este paradigma se funda los conceptos y modelos de interacción humana con los fenómenos del mundo real, por lo tanto sus componentes son las categorías (o clases), sus variables internas y sus operaciones. La interacción entre objetos se efectúa mediante el intercambio de un mensaje.  
Este anclaje conceptual le ha dado popularidad en la última década. Al anteponer los conceptos antes de los aspectos técnicos, es de más fácil comprensión
Este anclaje conceptual le ha dado popularidad en la última década. Al anteponer los conceptos antes de los aspectos técnicos, es de más fácil comprensión
Línea 254: Línea 254:
<pre>
<pre>
<nowiki>
<nowiki>
Reales. ej: {???}
↖︎ Definibles. ej: {Ω}
  ↖︎ Computables. ej: {sumatorias, números recursivos}
    ↖︎ Algebráicos. ej: {x2 + bx + c}
      ↖︎ Constructibles. ej: {sqrt(2), sqrt(sqrt(24) + 88)}
        ↖︎ Racionales. ej: {1/4, 2.5, 2/3}
          ↖︎ Enteros. ej: {2, -45, 87374}
---
cada nombre contiene sus desconocido
cada nombre contiene sus desconocido


Línea 269: Línea 280:
</pre> <ref>Amereida I, pág. 128</ref>
</pre> <ref>Amereida I, pág. 128</ref>


=====Notas=====
===Notas===
<references />
<references />

Revisión actual - 13:45 28 mar 2014


AsignaturaTaller de Amereida
Del CursoTaller de Amereida 2014
4
Fecha2014/03/26

Jaime Reyes

El problema del significado

En su Hay que Ser Absolutamente Moderno y en otros textos Godofredo Iommi abordó el problema del significado en la poesía. Lo hizo casi diciendo lo mismo que Claude Shannon. Escuchémoslo:

“He aquí la catástrofe de la esperanza. La poesía sabe esto por dentro. El mundo puede renovar su esperanza, la poesía es lúcida e implacable. Fracaso de la sustitución de Breton. Cambiar la vida no equivale a cambiar el mundo. Y ésta es nuestra hora. ¿Cuál? La de mantener el paso ganado. “Tenir le pas gagné” de Rimbaud. Explorar sin tregua el lenguaje más allá de todo significado. Tal nuestra incalculable libertad. Como se lo dijeron las Musas a Hesíodo, palabra anterior al juicio. Palabra que revela, explora su maravilla de ser palabra – ininterminablemente. Al fondo del abismo para encontrar lo desconocido. Por cierto que siempre habrá poetas y buenos que seguirán tratando con, para y por los significados, hasta el fin de los siglos. Pero hablo de la modernidad y no de valoraciones. Con toda lucidez Benjamín Peret, un surrealista, pudo decirles, después de la última guerra, a Aragón y a Eluard que sus militancias no eran más que la miseria de la poesía. Cayeron los significados, con ellos el sentido de un mundo. ¿Qué va a ocurrir? Lo espléndido, de nuevo abierta, reiniciada, la aventura”.

La Aventura

Que quiere decir esto hoy. Veamos.

Las ideas de Shannon y de Turing se juntaron con las proposiciones de Darwin. Shannon propone una nueva unidad de medida; el bit.

Con un lápiz y en un pedazo de papel de un cuaderno trazó una línea vertical y escribió las potencias de diez. Denominó ese eje “capacidad de almacenamiento de bits”. Empezó a confeccionar una lista de varias cosas de las que podía decirse que «almacenaban» información:

  • 10 elevado a 4 bits; una página mecanografiada a un solo espacio.
  • 10 elevado a 5 bits “constitución genética del hombre” (y como si esta anotación no tuviera ninguna importancia siguió con la lista)
  • disco de vinilo unos 300.000 bits.
  • 1.000 millones la Enciclopedia Británica.
  • una hora de retransmisión televisiva 10 elevado a 11.

Los cálculos de Shannon para lo constitución genética del hombre se equivocaron por varios órdenes de magnitud, pero esto no es importante, el asunto es otro.

Ya mucho antes, en 1910 un botánico danés, Wilhelm Johannsen, inventó tímidamente el término gen. Para la época de Shannon ya se conocía la existencia de los genes y se sabía que eran estos los responsables de transmitir la herencia de un ser vivo a su descendiente. Pero nadie comprendía el proceso o el método mediante el cual los genes transmitían esa herencia. Se trataba de la primera vez que alguien sugería que el genoma era un almacenamiento de información medible en bits. Lo que se transmite es información. Tiempo después, en los años 60, el biólogo James D. Watson y el biofísico Francis Crick, descubrieron la estructura de la molécula de ADN.

Hasta que aparece un joven zoólogo que en 1976 (tres años antes de que Godo dicte sus “Buscadores de lo Desconocido”), propone una idea extraordinaria:

“Somos máquinas de supervivencia, vehículos autómatas programados a ciegas para preservar las moléculas egoístas llamadas genes. Los genes, no los seres vivos, son las verdaderas unidades de selección natural. Empezaron siendo «replicadores», moléculas formadas accidentalmente en el caldo primigenio, con la insólita propiedad de hacer copias de sí mismas.”

Esto implicó cambios radicales que aún todavía están sucediendo. Esta sola idea implica el derrumbe de todas las teorías sociales del siglo XX que predican que el comportamiento humano está sólo condicionado por el medio. Estas teorías posmodernas de las humanidades y las ciencias sociales, de la psicología, del marxismo, el constructivismo social y la ciencia radical, deconstructivismo y otras doctrinas relativistas pretenden que usted es como es y hace lo que hace debido exclusivamente a sus circunstancias sociales, políticas y culturales. Quisieron hacernos creer que ustedes piensan como piensan porque son chilenos, o norteamericanos, o porque les tocó en suerte hablar una lengua como el español, o el alemán. Si ustedes hubiese nacido en Holanda, entonces ustedes sería una persona diferente, dicen. Y esto no es así. Estas teorías sociales y políticas le trajeron y aún le traen al mundo grandes tragedias y catástrofes. Porque creyendo esto hubo y hay políticos y filósofos y estadistas que creyeron que modelando la sociedad podían modelar a los ciudadanos. Si somos determinados solamente por las circunstancias entonces cambiando las circunstancias podremos cambiar, al fin, al hombre. Y se hicieron los intentos, a sangre y fuego, de crear sociedades que obligaban a las personas a comportarse de acuerdo ciertos ideales nobles y altruístas. Todos los intentos han derivado en dictaduras sangrientas y devastadoras que han asesinado a millones y millones de personas. Godo lo llamaba a esto el fracaso de la esperanza, pero lo que hizo fracasar todo es otra cosa que no reside en las ideologías ni en las voluntades. Creyeron que era posible modelar al ser humano desde cero, porque si la naturaleza humana está determinada por el ambiente, entonces cambiando el ambiente puedo cambiar a las personas. Y fue más dramático aún para los niños, que no habiendo sido expuestos al conjunto de circunstancias o factores que construyen una sociedad, son como una hoja en blanco y es más fácil programar sus comportamientos y luego sus destinos. Y fueron sometidos a experimentos educacionales y familiares cuyas consecuencias aún las está pagando el mundo. Solamente imagínense un mundo sometido al psicoanálisis, que pretendía que nuestro comportamiento está determinado por ciertos acontecimientos, devenidos en traumas, sucedidos especialmente durante la infancia. Pobres desdichados soportando terapeutas que intentaban acceder al subconsciente para conocer esos hechos traumáticos, y así liberar a los pacientes de sus terribles consecuencias.

  • Usted es una persona triste. Seguramente usted sufrió mucho cuando niño porque vivió mucho tiempo rodeado de gris y crudos inviernos.
  • Usted es una persona alegre. Su alegría es un mecanismo de defensa que ha desarrollado porque seguramente usted sufrió mucho cuando niño porque vivió mucho tiempo rodeado de gris y crudos inviernos.

La sugerencia en la proposición de Dawkins y de unas muy nuevas ramas de la ciencia que estudian el cerebro y el comportamiento es que usted no puede incidir en lo que sus genes intentan hacer; que no es otra cosa que sobrevivir y replicarse. Pero esto no quiere decir que estemos fatalmente determinados genéticamente. Este supuesto determinismo biológico es el argumento que utilizan quienes se niegan a comprender y a abandonar las miserias de los fracasos y los errores.

Si sabemos exactamente quiénes somos y hacia donde vamos podremos construir mejor democracia y cuidar nuestra casa, nuestro mundo, nuestro planeta. Pero es necesario saber donde estamos, aunque algunos de esos conocimientos no sean fáciles de digerir, aunque no nos gusten.

Las personas actuamos de acuerdo a la selección natural; esto es sobrevivir a toda costa. Pero a su vez estamos dotados de conciencia moral, y esto nos permite decir y decidir sobre esos mismos comportamientos naturales. Podemos abstenernos de asesinar a nuestro vecino para comernos su comida, o podemos contribuir a extender la democracia que garantice mejores oportunidades para todos. Por ejemplo una democracia que impida o controle los arrebatos de la selección natural a través de leyes justas. La idea de que son los genes los principales autores responsables (junto o además del ambiente) del comportamiento de cada cual, quiere decir que somos maravillosamente únicos y que hagan lo que hagan las ideologías totalitarias, la humanidad prevalecerá floreciendo en esa diferencia.

Conclusión

Sin embargo, desde mi punto de vista, el principal aporte de estas nuevas ideas es el siguiente: todas estas ideas posmodernistas y relativistas que dominaron nuestro tiempo negaban la existencia de una naturaleza humana común a toda la especie. La negaban cuando pretendían “la idea de que la mente humana carece de una estructura inherente y que la sociedad y nosotros mismos podemos escribir en ella a voluntad”.

Y sin embargo, la nueva genética está descubriendo que no todo está en la genética. El medio es tan importante como los genes. Todo lo que los niños experimentan en su crecimiento tiene la misma importancia que aquello con que vienen al mundo. Y está demostrando que poseemos –todos–patrones innatos del pensar y el sentir.

Eso significa que, a pesar de todas las negaciones y después de todos los sacrificios, sí existe una naturaleza humana. Y me asombro más aún al releer una proposición de esta Escuela escrita hace 42 años en unos pizarrones negros como estos, por mano de Alberto Cruz:

“Nos parece que la condición humana es poética,

vale decir que por ella el hombre vive libremente y sin cesar

en la vigilia y coraje de hacer un mundo”.

Herbert Spencer

Pizarra 0

Å

ø

-∞ +∞

Recibí un encargo para este taller de amereida, el de hablarles de la Máquina de Turing. También se me advirtió que en este contexto, el de esta clase multitudinaria al aire libre, es posible transmitir eficazmente sólo una idea. Si bien creo que este asunto de la máquina de Turing se relaciona con múltiples tópicos, a saber:

  • la idea de algoritmo
  • la idea de computabilidad
  • la idea de lenguaje
  • la idea de infinito
  • y la idea de incompletitud

Y no podemos -por el tiempo- tocarlas todas, les a decir la idea ahora:

  1. Vivimos en los lenguajes y en el Lenguage. Por ejemplo, hablar de un “nosotros” es sólo posible desde el lenguaje.
  2. El lenguaje ha de ser leído o ejecutado para existir, de lo contrario yace como información codificada a la espera de un lector, un ojo ejecutor que lo pronuncie, que lo haga mundo. Al no ser leído o dicho, el lenguaje se transforma en información contenida (como un libro, un disco de música guardado sin tocar, como una idea no pensada)
  3. El lenguaje ejecutado por una Máquina de Turing es lo que conocemos por computación. El lenguaje en ejecución trasciende en un orden de magnitud infinida a al alfabeto y las tablas de reglas que componen a dicha máquina en su definición.

Como esta parte del taller de amereida se llama “Buscadores de lo desconocido” les traigo hoy el desconocido dentro del lenguaje.


     faltan
     palabras
     para
     la
     forma
     de
     nombrar
la andada

[1]

Pizarra 1

El Golem

Aleph.jpg

En el siglo XVI, en el ghetto judío de Praga, uno de los más antiguos del mundo, vivía el rabí Judah Loew ben Bezalel, quien era filósofo, astrólogo, astrónomo, y observador de las ciencias naturales. Era conocido como Judá León o el Majaral, que significa “el más venerado maestro y rabí”.

En esa época del siglo XVI los judíos del ghetto vivían en la tensión la natural de toda comunidad religiosa y étnicamente segregada. Uno de los peores rumores con los cuales se enfrentaban era el mito del ritual de la sangre. De acuerdo a este rumor, los judíos secuestraban niños cristianos y los sacrificaban para usar su sangre en la preparación del matzo, que es el pan sin levadura que se comía durante sus días de fiesta religiosos. (Los come-guaguas sería la traducción americana). Cualquier asesinato o accidente fatal que le sucedía a algún niño o joven cristiano se le era atribuido a los judíos, y muchos judíos inocentes terminaron linchados en medio de reyertas cristianas en busca de venganza.

Judá León, que era un hombre erudito del renacimiento, conocedor de las ciencias y de la magia, la kabbalah, buscaba una solución para su pueblo. Para esto, moldeó un hombre con el fango del río Moldavka y le dio vida inscribiendo en su frente un Aleph, que es uno de los 72 nombres de Dios.

Existen muchas versiones de esta leyenda, que van variando en los detalles: que el nombre de Dios, compuesto de 72 letras, estaba escrito en su pecho; otra versión dice que el Aleph estaba escrito en un papel que le introducía en su boca. El Golem, sujeto a las leyes del pueblo judío, no podía trabajar el Sabbath por lo que era necesario desactivarlo de algún modo ese día. Esto se hacía, o bien borrando la inscripción, o extrayendo el papel de su boca. Otra versión dice que el rabino escribió la palabra “verdad” en su frente, que se escribe EMET. Así el rabino borraba la primera letra, dejando MET, que significa “muerte” el Golem quedaba inanimado.


El Golem, Jorge Luis Borges[2]

El Gólem era básicamente un sirviente que obedecía al pie de la letra las instrucciones que recibía. La literalidad con que tomaba sus órdenes podía convertirse rápidamente en un problema bastante grave. Una vez la mujer del rabino le pidió a éste ser que fuera al río a “sacar agua”. Entonces el Golem accedió a realizar al pie de la letra su mandato y comenzó a sacar agua del río hasta que inundó la ciudad.

El Golem se incorporó a la vida del ghetto sin ningún tipo de percances mayores hasta un sábado en el cual al rabí se le olvidó borrar el aleph de su frente. Entonces, por razones aparentes solamente al mago, el Golem se tornó en contra de toda la comunidad, y comenzó a destruir el ghetto, casa por casa. Cuando el Majaral fue alertado sobre las acciones del Golem, ya el monstruo había destruído casi media ciudad. Entonces el rabí se apresuró, se le acercó al Golem, y con un sencillo movimiento de su mano, le borró el aleph a la inscripción sobre su frente, y en ese mismo momento el monstruo cayó sobre la tierra y murió.

Recapitulemos. Cada conjunto infinito de números representa un Aleph, Con el lenguaje, a partir de un Alfabeto finito y un estado inicial, podemos ejecutar su función de lectura o de acción, que reescribe la cinta. El lenguaje es el conjunto de reglas y combinaciones sobre este conjunto finito que permite construir un conjunto infinitamente mayor, en otro Aleph de infinito.

Recordemos que cantor nombra sus infinitos con el Aleph.

Del Aleph al alfabeto y con el lenguaje, es posible describir y construir varios Alephs[3]

Pizarra 2

Máquina de Turing

Video de una Máquina te Turing funcionando En 1936 se publica el siguiente paper: On Computable Numbers. (Church-Turing, fuente) Una Máquinas de Turing es un modelo abstracto de la computación. Ella proporciona una definición precisa y formal de lo que significa “ser computable”:

Formalmente, dado un alfabeto ∑ = {a, b, c} y la palabra vacía ℰ, definiremos como cierre de sigma el conjunto de todas las palabras que se pueden formar con nuestro alfabeto, es decir, ∑* = {ℰ, a, b,c, ab, ac, bc, abc, aa, …}. Un lenguaje A será, pues, un subconjunto de ∑*.A = ∑

Tomando como base la jerarquía de Chomsky, los distintos lenguajes se pueden clasificar según su rigidez o generalidad (más o menos restricciones sobre sus cadenas). Los lenguajes más sencillos son los lenguajes regulares.

La Máquina de Turing es, un Autómata Finito Determinista, un modelo teórico que se define como una 5-tupla (quíntupla) M=(∑, Q, F, s, δ).

input -> algoritmo -> output

Donde ∑ el alfabeto de entrada, Q un conjunto finito de estados, F un subconjunto de Q que define los estados finales, s el estado inicial, y δ la función de transición, definida como δ:Q×∑→Q.

Pizarra 3

Autómata

Esta es una Máquina de Turing Universal (MTU). Pensemos el dibujo como una cinta 2D. Cellular Automata Rule 030: 00011110

La regla 30, fue abordada por Stephen Wolfram en su libro "A New Kind of Science"[4]

La idea de que el lenguaje como un exterior a las cosas, como sustancia, materia, encarnación de aquello que dice y que nombra. Pero es su proceso de "lenguajear", de ser leído o accionado, lo que permite alcanzar cierto grado de irreductibilidad, como la que observamos en la regla 30. Del mismo modo, los números reales computables, como por ejemplo π, es computable e irreductible de este modo, al tratarse de un número real trascendente.

Pizarra 4

Paradigmas del Lenguaje Computable

El paradigma Imperativo

“Primero haz esto, a continuación haz aquello” es una frase que en pocas palabras describe el espíritu del paradigma imperativo. La idea básica es el comando, que tiene un efecto medible sobre el estado del programa. La frase también refleja que la orden de los comandos es importante. Su abstracción natural es el procedimiento

El paradigma Funcional

Este paradigma se funda en la teoría matemática de las funciones. Esto lo hace mucho más limpio que el paradigma imperativo. Sus frases son cortas y elegantes, pero difíciles de comprender a primera vista. Es de naturaleza atemporal, infinitivo, con valores no mutables. Su abstracción natural es la función. f(x)

El paradigma Lógico

El paradigma de lo lógico se funda sobre la base de axiomas, reglas de inferencia y consultas, lo que lo hace dramáticamente diferente de los otros tres paradigmas. La ejecución de un programa lógico se convierte en una búsqueda sistemática de un conjunto de hechos, haciendo uso de un conjunto de reglas de inferencia. Este paradigma es el que funda la inteligencia artificial como la conocemos hoy. Su abstracción natural de la clase algorítmica.

Paradigma Orientado a Objetos

Este paradigma se funda los conceptos y modelos de interacción humana con los fenómenos del mundo real, por lo tanto sus componentes son las categorías (o clases), sus variables internas y sus operaciones. La interacción entre objetos se efectúa mediante el intercambio de un mensaje. Este anclaje conceptual le ha dado popularidad en la última década. Al anteponer los conceptos antes de los aspectos técnicos, es de más fácil comprensión



Reales. ej: {???}
 ↖︎ Definibles. ej: {Ω}
   ↖︎ Computables. ej: {sumatorias, números recursivos}
     ↖︎ Algebráicos. ej: {x2 + bx + c}
       ↖︎ Constructibles. ej: {sqrt(2), sqrt(sqrt(24) + 88)}
         ↖︎ Racionales. ej: {1/4, 2.5, 2/3}
           ↖︎ Enteros. ej: {2, -45, 87374}

---

cada nombre contiene sus desconocido


  ¿qué puede      entonces      urdir un alfabeto     máquinas
  del verbo       si un brote fragua en vocablo su trans-
  luz?<br>


  ¿dónde un nombre
  o nacimiento ?

  ¿no nacemos en los desprendimientos?

[5]

Notas

  1. Amereida I, pág. 145
  2. Si, (como el griego afirma en el Cratilo)
    el nombre es arquetipo de la cosa,
    en las letras de rosa está la rosa
    y todo el Nilo en la palabra Nilo. Y, hecho de consonantes y vocales, habrá un terrible Nombre,
    que la esencia cifre de Dios
    y que la Omnipotencia guarde en letras y sílabas cabales.
    Adán y las estrellas lo supieron
    en el Jardín. La herrumbre del pecado
    (dicen los cabalistas)
    lo ha borrado y las generaciones lo perdieron. Los artificios y el candor del hombre no tienen fin.
    Sabemos que hubo una día
    en que el pueblo de Dios buscaba el Nombre
    en las vigilias de la judería. No a la manera de otras que una vaga sombra insinúan
    en la vaga historia, aún está verde y viva
    la memoria de Judá León,
    que era rabino en Praga. Sediento de saber lo que Dios sabe,
    Judá León se dio a permutaciones de letras
    y complejas variaciones
    y al fin pronunció el Nombre que es la Clave, la Puerta, el Eco, el Huésped y el Palacio,
    sobre un muñeco que con torpes manos labró,
    para enseñarle los arcanos del las Letras,
    del Tiempo y del Espacio. El simulacro alzó los soñolientos párpados
    y vio formas y colores que no entendió,
    perdidos en rumores,
    y ensayó temerosos movimientos. Gradualmente se vio (como nosotros)
    aprisionado en esta red sonora de
    Antes, Después, Ayer, Mientras,
    Ahora, Derecha, Izquierda, Yo, Tú, Aquellos, Otros. El cabalista que ofició de numen
    a la vasta criatura apodó Golem.
    (Estas verdades las refiere Scholem
    en un docto lugar de su volumen.) El rabí le explicaba el universo
    (Esto es mi pie; esto el tuyo; esto la soga)
    y logró, al cabo de años, que el perverso
    barriera bien o mal la sinagoga. Tal vez hubo un error en la grafía
    o en la articulación del Sacro Nombre;
    a pesar de tan alta hechicería,
    no aprendió a hablar el aprendiz de hombre. Sus ojos, menos de hombre que de perro
    y harto menos de perro que de cosa,
    seguían al rabí por la dudosa
    penumbra de las piezas del encierro. Algo anormal y tosco hubo en el Golem,
    ya que a su paso el gato del rabino se escondía.
    (Ese gato no está en Scholem pero,
    a través del tiempo, lo adivino.) Elevando a su Dios manos filiales,
    las devaciones de su Dios copiaba o,
    estúpido y sonriente, se ahuecaba
    en cóncavas zalemas orientales. El rabí lo miraba con ternura
    y con algún horror. ¿Cómo (se dijo)
    pude engendrar este penoso hijo
    y la inacción dejé, que es la cordura? Por qué di en agregar a la infinita serie
    un símbolo más? Por qué a la vana madeja
    que en lo eterno se devana,
    di otra causa, otro efecto y otro cuita? En la hora de angustia y del luz vaga,
    en su Golem los ojos detenía.
    ¿Quién nos dirá las cosas que sentía Dios, al mirar a su rabino en Praga?
  3. Georg Cantor nombra a los distintos órdenes de infinitos con la letra Aleph; Aleph sub cero, Aleph sub uno, Aleph sub dos, ...
  4. Wolfram ahora desarrolla un lenguaje computacional, el Lenguaje Wolfram, Wolfram Language: http://www.wolfram.com/language/ (propietario y aun no disponible) Es un lenguaje que utiliza mútiples paradigmas, desde el lenguaje simbólico matemático al lenguaje humano natural. Se trata de un lenguaje altamente automatizado al tener descrito, en él mismo, las abstracciones detalladas del mundo y de sus procesos. Al encadenarlo hábilmente construyendo frases, el lenguaje es capaz de ejecutarse y traer un resultado. Obviamente conociendo mejor la sintaxis del lenguaje, mejores resultados voy a poder traer.
  5. Amereida I, pág. 128