ON COMPUTABLE NUMBERS, By A. M. TuringREFERENCIAS VARIETÉ (RANDOM SOCIAL SEARCH)
WIKIPEDIA , about «El Entscheidungsproblem»
(en castellano: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiera si una fórmula del cálculo de primer orden es un teorema. En 1936, de manera independiente, Alonzo Church y Alan Turing demostraron ambos que es imposible escribir tal algoritmo. Como consecuencia, es también imposible decidir con un algoritmo si ciertas frases concretas de la aritmética son ciertas o falsas.
La pregunta se remonta a Gottfried Leibniz, quién en el siglo XVII, luego de construir exitosamente una máquina mecánica de cálculo, soñaba con construir una máquina que pudiera manipular símbolos para determinar si una frase en matemáticas es un teorema. Lo primero que sería necesario es un lenguaje formal claro y preciso, y mucho de su trabajo posterior se dirigió hacia ese objetivo. En 1928, David Hilbert y Wilhelm Ackermann propusieron la pregunta en su formulación anteriormente mencionada.
Antes de poder responder a esta pregunta, hubo que definir formalmente la noción de algoritmo. Esto fue realizado por Alonzo Church en 1936 con el concepto de «calculabilidad efectiva» basada en su cálculo lambda y por Alan Turing en base a la máquina de Turing. Los dos enfoques son equivalentes. En el sentido que se pueden resolver exactamente los mismos problemas con ambos enfoques.
y Leibniz dijo:
…»For it is unworthy of excellent men to lose
hours like slaves in the labour of calculation which could
safely be relegated to anyone else if machines were used.»
«…a general method in which all truths of reason would be
reduced to a kind of calculation. At the same time, this
would be a sort of universal language or script, but infinitely
different from all those imagined previously, because its
symbols and words would direct the reason, and errors – except
those of fact – would be mere mistakes in calculation…»
KARL S CHU ESCRIBIÓ A CERCA DE LA MAQUINITA:
LA DIMENSION TURING
I
Si la tragedia, o una cierta interpretación de ella, es el origen y matriz del pensamiento especulativo en general, y pensamiento dialéctico en particular, el fenómeno emergente que está a punto de explotar dentro del universo virtual de mundos posibles no podrá escapar de la resonancia del efecto trágico que acompaña y ronda los intentos especulativos. El impulso filosófico detrás de la tragedia, de acuerdo con Philippe Lacoue-Labarthe, es una dialéctica de tonos que esquematiza la oposición del tono ideal (la aspiración subjetiva hacia el absoluto) y el tono artístico y heroico de discordia y AGON (AGONÍA?) en orden de llegar a una más elevada unidad o resolución en el UNO-TODO a través del espíritu del género poético. El género poético, en tal situación, está a punto de convertirse en el único género que está basado en una concepción algorítmica del mundo en donde todo entra en una extensión vagabunda bajo el impensable siendo mientras sostenido por la sombrilla evasiva de lo intratable. Esto podría eventualmente desdoblarse a si mismo en un drama de apariciones y desapariciones implicadas dentro de un laberinto virtual que es, propiamente hablando, el trabajo del infinito mismo. Para aquellos que están deseosos de alcanzar comunión, la membrana virtual del espacio podrá ser más que adecuada en el sentido de que provee una arena inmersiva dentro de la cual tal fusión puede tener cabida y por medio de eso permear dentro de la imaginaria, aunque si bien estática, alma del sujeto. Mientras para los que permanecen en una tensión hacia lo que no puede ser encapsulado ni embebido en un cuerpo, la membrana verde del espacio es simplemente una cabina global que está dirigida hacia el infinito absoluto más allá del umbral de la representación. Sin embargo, el drama emergente significa la venida de la era de la premonición Pitagórica del mundo como números, y la permutación de números en la forma de bits podrá proveer la nueva materialidad necesaria para un drama cosmopolítico para catapultarse a si mismo en el nuevo plan de inmanencia destinado a elevarse al nivel de una proporción épica.
II
Visto de esta forma, la recurrencia de la tragedia ha sido en la hechura por los ultimos doscientos años comenzada con el tratamiento axiomático de la geometría de Euclides, la búsqueda de Liebniz por una lógica simbólica, y la monumental Principia Matemática de Russell y Withehead a los comienzos del siglo veinte. Esto es la consecuencia de un destino manifiesto de razon instrumental cuyo objetivo, por un lado, es el de verificar y controlar el conocimiento por medio de una mecanización de las matemáticas que encuentran su expresión concreta en la Máquina Universal de Turing (UTM), y por el otro lado, para entrar en una comunión con la sustancia de afectos engendrados por el uso instrumental de la razón. El efecto trágico es una dialéctica de la fusion, de números y seres conducidos por un impulso utópico dentro de una dramatología de transubstanciación.
III
En este eco de la tragedia, el sujeto es mediado por la UTM, la que podrá,in due time, probar ser el medio gnostico que opera en la lógica de la síntesis funcional. Esto es una alquimia maquínica de subjetivación que engloba al sujeto y al objeto de arquitectura dentro de un medio instrumental a trávez de la generación de una superficie universal sobre la que una realidad mutante puede exfoliarse dentro de un mundo posible. Esta dimension trágica es la escena de una transfusión en donde el Sujeto de idealismo especulativo encuentra a simismo inmerso en una cabina (manifold) diversa de la superficie topológica ahora siendo engendrada por la UTM. Esto es una trayectoria que se infusiona con el medio guiandose desde dentro por movimientos infinitos de pensamiento y lineas de fuga en orden de superar, a través de la dialectica de la transgresión, la fábrica de la mimetología traída por la máquina de la doble amarra. Esto es de una vez una catarsis del sujeto y del medio que representa a la sustancia de la mimesis Aristotélica como un modo de poiesis y mimesis en el sentido de mimetismo o imitación. Es esta la aspiracion para la conquista a través de sublimación que torna dentro de un juego de luto, que permanece atrás de cualquier deseo metafisico, que induce una filosofía del efecto trágico, o placer trágico de lo sublime, a través de situar al sujeto de arquitectura en un espacio “entre” de melancolía, o, para usar la designación de Platón, metaxia. Aun cuando esto es a la vez lo mas cercano y lo mas lejano de la satisfacción absoluta, podría requerir de la intrusión de la CAESURA para que esto que aparece no sea la alternacion de representaciones o simulaciones, sino los limites de la representación misma.
IV
Con la publicación del paper “On Computable Numbers, with an Application to the Entscheindungsproblem” en 1936, Alan Turing lanza la especificación para una máquina abstracta que podrá últimamente engendrar un nuevo mundo estableciendo un nuevo plano de imanencia especifico para su modo de implementación formal. Este plano es la arena virtual sobre estos flujos diagramáticos y construcciones instanciadas por esta maquina abstracta. El nacimiento de la UTM marca la inauguración de la Era Infozoica (la vida artificial de los sistemas auto-organizativos) a través de la redefinir el contenido proyectivo del plano de inmanencia como información –teórica en origen. Es el precursor de una nueva camada de especies biomecanicas y acarrea con el el germen de un “brave new world” más fantastico e hiperbólico que cualquier cosa vista en la historia de la civilización humana. En su forma más significativa, la UTM no es simplemente otro instrumento más en la historia de las invenciones técnicas; la UTM es una mónada computacional que redefine un nuevo plano de inmanencia como un espectáculo de naturaleza de segundo orden transpuesto en el universo cultural de la humanidad que es fundada en la naturaleza de primer orden. Como mecanismo generativo, la UTM ha traido a foreground un universo de posibilidades contrafactuales mostrar que estos potenciales estados de affaire son son inextrincablemente cocinados dentro de la fabrica invisible de la realidad misma. Su lantente ambición es el exfoliar esta realidad en todas sus manifestaciones a traves de los trabajos internos de la Dimension Turing que es el propio corazon y el alma de la UTM.
(DE AHÍ SUBO TODA LA TRADUCCION)
Yo no tengo opinion porque: «Las opiniones son como el culo, todos tienen uno» Clint Eastwood, El bueno, el malo y el feo.
GORE ME DICEN 