Coloquio Alan Turing, de las computadoras a la vida
←
→
Transcripción del contenido de la página
Si su navegador no muestra la página correctamente, lea el contenido de la página a continuación
Coloquio Alan Turing, de las computadoras a la vida 26 de junio 2012 al 28 de junio 2012 Coordinadores: Ricardo Coronoa Mansilla y Rosa María Mendoza Rosas Universidad Nacional Autónoma de México - UNAM Centro de Investigaciones Interdisciplinarias en Ciencias y Humanidades - CEIICH 1
Metabiologia: un ejemplo del impacto epistemológico-científico de los trabajos de Turing Virginia M. F. G. Chaitin Universidad Federal de Rio de Janeiro - UFRJ, Brasil Programa en Historia de las Ciencias y de la Tecnología y Epistemología - HCTE Prof. Ricardo Silva Kubrusly, Coordinador 2
UFRJ – HCTE: Escuela de Metabiologia en Brasil Pruebas matemáticas adicionales (Ejemplo: dar una cota inferior para la evolución al azar) Estudios de los cambios de paradigmas involucrados por la metabiologia en el desarrollo contemporáneo de la ciencia Conexión entre la metabiologia y la metodología de investigación interdisciplinaria Posibilidades en las ciencias sociales (metabiologia social) 3
Proceso de cambio de paradigmas promovido por Turing y por la metabiologia Aspectos metodológicos de esta investigación interdisciplinaria Etapas históricas de los conceptos y técnicas principales involucrados en el proceso Nuevas direcciones para la investigación 4
Debate Popper – Kuhn – Lakatos – Feyerabend: Racionalidad – metodología – historia de la ciencia Racional versus “Irracional” en la ciencia: Popper – Contextos de descubrimiento y de justificación, criterios de demarcación Lakatos – Reconstrucciones racionales, Programas de Investigación (progresivos, degenerativos) Kuhn – Ciencia normal, periodos “revolucionarios”, cambio de paradigma: psicología del descubrimiento, estudio sociológico de las comunidades científicas 5
Racional versus “Irracional” en la ciencia: Feyerabend - “Irracionalidad”, inspiración, creatividad; ausencia de métodos generales – heurísticas Esto también se aplica al razonamiento matemático: Gödel: incompletitud de las Teorías Axiomáticas Formales Turing: Problema de la Detención (no calculabilidad) Chaitin: irreductibilidad algorítmica de la probabilidad de detención 6
En lugar de la oposición Racional versus Irracional: Diferentes formas o etapas de la racionalidad científica Ejemplos de principios involucrados en estos cambios: Ontología (continua o discreta; determinista, probabilística, caótica, al azar) Lenguaje (natural o formal) Objetivos epistémicos y técnicas para lograrlos Marco conceptual y vocabulario Los principios y reglas de razonamiento cambian con los paradigmas 7 científicos y son distintos en las distintas áreas de las ciencias.
Desde la biología teórica y la TIA: Vida como software evolucionando por mutaciones al azar: ¡ La naturaleza está programando ! Cambio en el concepto básico: de energía a información Cambio en el proceso básico: de metabolismo a algoritmo Cambio en el marco conceptual: nuevo vocabulario interdisciplinario Cambio en el lenguaje: de la matemática continua pre-Turing a la matemática discreta pos-Turing 8 Cambio de métodos: de simulaciones a pruebas matemáticas
Desde la biología (teórica) y de la TIA: Vida como software evolucionando por mutaciones al azar: ¡ La naturaleza está programando ! Cambio de objetivo epistémico De: la explicación de comportamientos biológicos a partir de la presión selectiva A: la explicación de la creatividad biológica. 9
“Invasión por ideas ajenas” y falta de entendimiento inicial entre las distintas áreas de investigación científica Migración de “ideas”… conceptos… y redes conceptuales Todo concepto apunta a otro concepto El empleo de un concepto en un contexto conceptual distinto provoca cambios en su sentido Migraciones no-isomorfas, no reductivas, o sea, miméticas Distinción entre una analogía útil o metáfora impactante y el caso de una migración mimética de todo un entorno conceptual Criterio de validación: fertilidad de una migración conceptual mimética – cuando una metáfora o analogía se extiende a todo un 10 entorno conceptual y tiene sentido.
Biología (neo-darwinismo) & TIA Metabiologia Software natural: DNA-RNA Software metabiológico: programas de (base 4: AGCT) computadora (base 2: 0,1) Organismo resulta de procesos biológicos Organismo metabiológico es el software involucrando el DNA-RNA: mismo: metabolismo – energía algoritmo – información Creatividad biológica: mutaciones al azar Creatividad metabiológica: mutaciones que que generan nuevos genes – diversidad en generan nuevos algoritmos – diversidad de la biosfera. todos los programas posibles. Desafío darwinista: competición, Desafío metabiológico: resolver un supervivencia de los mas aptos, problema matemático que requiere adaptación al medio ambiente cambiante, creatividad, o sea, un paso no computable y transmisión de tus genes a la próxima (que no puede ser hecho mecánicamente; generación (gene egoísta). para el cual no hay un método general). Teoría empírica de la evolución biológica. 11 Teoremas que prueban la evolución metabiológica.
Migración de métodos y técnicas de una a otra área científica Criterio de validación: fertilidad de la migración de estos métodos y técnicas Interpretación de los resultados: tienen sentido al nivel conceptual? Llevan a preguntas y/o respuestas significativas? Llevan a nuevos problemas para investigar y/o a posibles soluciones de estos problemas? 12
Lógica matemática (verdades que no se pueden probar) Teoría de la calculabilidad (verdades que no se pueden calcular) Complejidad medida en tiempo de computo Teoría de Información Algorítmica (TIA): trae el azar (en lugar de la certidumbre de la lógica) y contenido de información (en lugar del tiempo de computo) Complejidad Conceptual Complejidad medida en bits de información TIA trae una mirada de la estadística mecánica a la lógica matemática 13 ¡ Contenido de información algorítmica ≈ entropía !
Matemática como comprensión, entendimiento, no “solamente” como un método o un lenguaje para calcular respuestas. En otras palabras El empleo de la matemática no para el cálculo de modelos cuantitativos del comportamiento de fenómenos, ni meramente para decidir si algo es verdadero o falso, sino para aclarar por que algo es verdadero. Una nueva manera de enfocar la biología matemáticamente, mostrando el poder de los conceptos matemáticos pos-Turing. Artículo: G. J. Chaitin, “Randomness in arithmetic and the decline and fall of reductionism in pure mathematics”, en J. Cornwell, Nature’s Imagination, Oxford University Press, 1995, pp. 27-44. 14
Matemática “Pos-Turing”, que abarca la no calculabilidad. Descubrimiento de lo no calculable en la matemática Turing, On Computable Numbers, with an application to the Entscheidungsproblem,1936 Concepto de oráculo en matemática Turing, Systems of Logic based on Ordinals,1939 El oráculo y el azar traen información de afuera del sistema de organismos y mutaciones. Esta información nueva no está en el organismo actual. Esta información nueva no puede ser deducida ni calculada a partir de la información que ja está en el sistema. Juicios acerca de esta información nueva también tienen que venir 15 de afuera del sistema (e.j.: decidir cual organismo es el más apto).
Dimensión no-instrumental de la matemática más allá de formulas y técnicas para calculo, modelamiento, control y predicción directa de fenómenos. La metabiologia modela principios que orientan procesos y fenómenos biológicos de acuerdo con la evolución darwiniana. ¡ Matematizando la biología al meta-nivel ! Esta es la razón por la cual la metabiologia puede relacionarse a teorías biológicas distintas. 16
Nueva área interdisciplinar de investigación científica que cambia paradigmas y que emplea métodos, técnicas y conceptos de: Teoría de Información Algorítmica: Ciencia de la Computación y Teoría de la Información Biología (síntesis moderna o neo-darwinismo) Analogía Básica : ADN = lenguaje de programación Objetivo: probar matemáticamente que hay una forma de vida que evoluciona por selección natural filtrando mutaciones aleatorias, y que además explica la creatividad biológica, o sea, de donde vienen genes nuevos. Para explicar el aparecimiento de novedad se requiere un tipo de 17 matemática fundamentalmente nueva que trata de la creatividad.
Metabiologia: organismo = programa de computadora Evolución de software mutante Creatividad Metabiológica Decidiendo quien es el mas apto pone información nueva adentro del sistema debido a la incompletitud y la no calculabilidad ADN ↔ programa GENE ↔ subrutina Síntesis Moderna o Neo-Darwinismo Teoría de Información Algorítmica ADN organismo Programas Evolución por mutaciones aleatorias Propiedades estadísticas y matemáticas de Sobrevivencia de los mas aptos: los programas adaptación, competición y tasas No calculabilidad 18 diferenciales de reproducción
Énfasis sobre la creatividad, y no sobre el enfoque tradicional darwiniano compuesto por: mutación, competición, adaptación y cantidad de prole. Propuesta de una nueva perspectiva científica sobre la humanidad, sobre nuestro imagen de nosotros mismos: Ahora se enfatiza la creatividad biológica, que puede ser pensada como un proceso no mecánico. [Emplear la no calculabilidad de esta manera no necesariamente implica la existencia de la no calculabilidad en el mundo físico.] Esto nos permite escapar del supuestamente inevitable gene egoísta neo-darwiniano. 19
La obra de Turing puede interpretarse de por lo menos dos maneras extremadamente diferentes: Primera: El hombre es una maquina que esta construyendo maquinas de mas alta capacidad de computo que eventualmente alcanzarán una inteligencia sobrehumana. Los hombres van a tornarse obsoletos, habiendo reemplazado a si mismos por una forma de vida artificial cognitivamente mas capaz que ellos. Segunda: El hombre no es una maquina porque es capaz de desarrollar la matemática con gran éxito a pesar de la ubiquidad de la no calculabilidad en la matemática. La metabiologia combina estos dos puntos de vista proponiendo el 20 hombre-software.
Mary Midgeley (1919 - ) Beast and Man: The Roots of Human Nature ,1978 The Solitary Self, 2010: “El [Darwin] no explica la moralidad como si fuera en realidad otra cosa.” Crítica del reduccionismo impuesto por el neo-darwinismo: “La reducción es siempre una simplificación del escenario conceptual” Ciencia entre dos extremos: simplicidad y clareza, y fidelidad al mundo exterior “… la creatividad espontánea es realmente el concepto central para la 21 vida”
El azar y atomos y el vacio: la naturaleza no tiene un propósito a priori - Democrito, Lucrecio, Laplace, Darwin, Boltzmann, Dawkins… Análisis – Reduccionismo - Leyes estadísticas - Mecanismo Teleologia y Romantische Naturphilosophie: la naturaleza es inteligente y tiene un propósito, una meta final – Aristóteles, Goethe, Lamarck, Wallace, Teilhard de Chardin, Máximo Sandín… Síntesis – Emergencia - Auto-organización – Organismo La metabiologia logra combinar estas dos tradiciones intelectuales a pesar de que normalmente se supone que sean contradictorias. 22
Interpretando las conclusiones derivadas del modelo matemático: Mutaciones algorítmicas, no puntuales. Comparación de las velocidades de evolución: a. Búsqueda Exhaustiva: “tiempo” exponencial b. Diseño Inteligente: “tiempo” linear c. Evolución aleatoria cumulativa: “tiempo” cuadrático Fijen-se que (c) es mas cercano a (b) que a (a). ¿ Es que estamos corroborando el paradigma neo-darwiniano dado que las mutaciones son algorítmicas ? 23
Antes de Darwin: ya se afirma que hay evolución pero no se conoce cual es el mecanismo propulsor. Darwin aplica las ideas sociales, económicas y políticas de Malthus y Herbert Spencer al mundo biológico para explicar el hecho de la evolución. On the Origin of Species , Charles Darwin, 1859 Receta conceptual: Toma: mutaciones al azar, selección natural, competición, adaptación al medioambiente Y después adiciona: genética mendeliana y el concepto de gene, Tal como desarrollado matemáticamente en la genética de poblaciones 24 por Fisher, Haldane, Wright, etc.
La “síntesis moderna” o el neo-darwinismo: Dobzhansky, Genetics and the Origin of Species, 1937 Gran esfuerzo para incluir la cooperación en el neo-darwinismo ¿ Unidad de selección = gene, individuo, familia o especie ? “Gene egoísta” como unidad de selección natural: Dawkins, 1976 Altruismo como reciprocidad y selección por parentesco Supercooperators: Martin Nowak, 2011 25
Mauricio Abdalla (UFES, Brazil), La crisis latente del darwinismo, 2010: Michael Behe: complejidad irreducible de los mecanismos celulares Lynn Margulis: propone la simbiosis y no mutaciones al azar como principal fuerza motriz de la evolución Máximo Sandín: los virus y la transferencia horizontal de genes Gould y Eldredge: Equilibrio puntuado y formas intermedias faltantes. La célula individual es espantosamente complicada. El origen de la vida permanece extremadamente misterioso. 26
Conexiones con la computación cuántica : Prof. Miguel Angel Martín- Delgado (Universidad Complutense de Madrid) Nuevo paradigma biológico basado en: Transferencia horizontal y no vertical de genes Mutaciones provocadas por el medioambiente y no al azar Mutaciones de alto nivel y no puntuales (saltos grandes en lugar de graduales en la naturaleza) Simulaciones por computadora y comparaciones con datos empíricos Metabiologia Social en lugar del Darwinismo Social 27
http://cs.umaine.edu/~chaitin/virginia.html Capitulo en: Chaitin, da Costa, Doria, Gödel’s Way, CRC Press, 2011. Libro: G. Chaitin, Proving Darwin: Making Biology Mathematical, Pantheon, 2012. (En castellano, 2013.) Artículo: G. Chaitin, “Life as Evolving Software,” Zenil, A Computable Universe, World Scientific, 2012. Libro: V. Chaitin y R. Kubrusly, O corpo metabiológico: a vida como criatividade selvagem, Perspectiva, 2013-14. http://www.metabiology-wiki.net 28
¡ Muchas gracias ! Ricardo Mansilla Corona y Rosa María Mendoza Rosas Centro de Investigaciones Interdisciplinarias en Ciencias y Humanidades CEIICH Universidad Nacional Autónoma de México - UNAM 29
También puede leer