Gregory John Chaitin ( / tʃ aɪ t ɪ n / CHY -tin ; nacido el 25 de junio de 1947) es un argentino - estadounidense matemático y científico de la computación . A partir de finales de la década de 1960, Chaitin hizo contribuciones a la teoría de la información algorítmica y las metamatemáticas , en particular, un resultado teórico de la computadora equivalente al teorema de incompletitud de Gödel . [2] Se le considera uno de los fundadores de lo que hoy se conoce como complejidad algorítmica (Solomonoff – Kolmogorov – Chaitin, Kolmogorov o tamaño de programa) junto conAndrei Kolmogorov y Ray Solomonoff . Junto con las obras de, por ejemplo , Solomonoff , Kolmogorov , Martin-Löf y Leonid Levin , la teoría de la información algorítmica se convirtió en una parte fundamental de la informática teórica , la teoría de la información y la lógica matemática . [3] [4] Es una materia común en varios planes de estudio de ciencias de la computación. Además de los informáticos, el trabajo de Chaitin atrae la atención de muchos filósofos y matemáticos sobre problemas fundamentales en la creatividad matemática y la filosofía digital.
Gregory Chaitin | |
---|---|
Nació | |
Nacionalidad | Argentino - americano |
Conocido por | La complejidad de Chaitin-Kolmogorov El algoritmo de Chaitin constante de Chaitin |
Carrera científica | |
Campos | Biología Matemáticas Informática |
Instituciones | Universidad Federal de Río de Janeiro IBM Thomas J. Watson Research Center |
Influencias | Gottfried Wilhelm Leibniz |
Matemáticas e informática
Asistió a la Bronx High School of Science y al City College de Nueva York , donde (todavía en su adolescencia) desarrolló la teoría que lo llevó a su descubrimiento independiente de la complejidad algorítmica . [5] [6]
Chaitin ha definido la constante Ω de Chaitin , un número real cuyos dígitos están equidistribuidos y que a veces se describe informalmente como una expresión de la probabilidad de que un programa aleatorio se detenga. Ω tiene la propiedad matemática de que es definible , con aproximaciones asintóticas desde abajo (pero no desde arriba), pero no computable .
Chaitin también es el creador del uso de colores de gráficos para realizar la asignación de registros en la compilación , un proceso conocido como algoritmo de Chaitin . [7]
Anteriormente fue investigador en el Centro de Investigación Thomas J. Watson de IBM en Nueva York y sigue siendo un investigador emérito. Ha escrito más de 10 libros que se han traducido a unos 15 idiomas. Actualmente está interesado en cuestiones de metabiología y formalizaciones teóricas de la información de la teoría de la evolución .
Otras contribuciones académicas
Chaitin también escribe sobre filosofía , especialmente metafísica y filosofía de las matemáticas (particularmente sobre cuestiones epistemológicas en matemáticas). En metafísica, Chaitin afirma que la teoría algorítmica de la información es la clave para resolver problemas en el campo de la biología (obtener una definición formal de 'vida', su origen y evolución ) y la neurociencia (el problema de la conciencia y el estudio de la mente).
En escritos recientes, defiende una posición conocida como filosofía digital . En la epistemología de las matemáticas, afirma que sus hallazgos en la lógica matemática y la teoría de la información algorítmica muestran que hay "hechos matemáticos que son verdaderos sin razón, que son verdaderos por accidente". [8] Chaitin propone que los matemáticos deben abandonar cualquier esperanza de probar esos hechos matemáticos y adoptar una metodología cuasi empírica .
Honores
En 1995 obtuvo el grado de doctor en ciencias honoris causa por la Universidad de Maine . En 2002 recibió el título de profesor honorario de la Universidad de Buenos Aires en Argentina, donde nacieron sus padres y donde Chaitin pasó parte de su juventud. En 2007 se le dio una medalla de Leibniz [9] por Wolfram Research . En 2009 obtuvo el grado de doctor en filosofía honoris causa por la Universidad Nacional de Córdoba . Anteriormente fue investigador de IBM 's Thomas J. Watson Research Center y ahora es un profesor de la Universidad Federal de Río de Janeiro .
Crítica
Algunos filósofos y lógicos no están de acuerdo con las conclusiones filosóficas que Chaitin ha extraído de sus teoremas relacionados con lo que Chaitin piensa que es una especie de aleatoriedad aritmética fundamental. [10] El lógico Torkel Franzén criticó la interpretación de Chaitin del teorema de incompletitud de Gödel y la supuesta explicación que representa el trabajo de Chaitin. [11]
Bibliografía
- Information, Randomness & Incompleteness ( World Scientific 1987) (en línea )
- Teoría algorítmica de la información ( Cambridge University Press 1987) en línea
- Incompletitud de la teoría de la información ( World Scientific 1992) (en línea )
- Los límites de las matemáticas ( Springer-Verlag 1998)
- Lo incognoscible ( Springer-Verlag 1999)
- Explorando la aleatoriedad ( Springer-Verlag 2001)
- Conversaciones con un matemático ( Springer-Verlag 2002)
- De la filosofía al tamaño del programa ( Tallinn Cybernetics Institute 2003)
- Meta Math !: The Quest for Omega ( Pantheon Books 2005) (reimpreso en el Reino Unido como Meta Maths: The Quest for Omega , Atlantic Books 2006) ( arXiv : math / 0404335 )
- Teoria algoritmica della complessità ( G. Giappichelli Editore 2006)
- Pensando en Gödel y Turing ( World Scientific 2007)
- Matemáticas, Complejidad y Filosofía ( Editorial Midas 2011)
- El camino de Gödel ( CRC Press 2012)
- Demostrar a Darwin: hacer que la biología sea matemática ( Pantheon Books 2012)
Referencias
- ^ Gregory Chaitin (2007), Teoría algorítmica de la información: "Cronología de la investigación de Chaitin" Archivado el 23 de marzo de 2012 en la Wayback Machine.
- ^ Revisión de Meta Math !: La búsqueda de Omega, por Gregory Chaitin SIAM News, volumen 39, número 1, enero / febrero de 2006
- ^ Calude, CS (2002). Información y aleatoriedad: una perspectiva algorítmica . Textos en Informática Teórica. Una serie EATCS. Springer-Verlag.
- ^ R. Downey y D. Hirschfeldt (2010), Aleatoriedad algorítmica y complejidad , Springer-Verlag.
- ^ Li; Vitanyi (1997), Introducción a la complejidad de Kolmogorov y sus aplicaciones , Springer, p. 92, ISBN 9780387948683,
GJChaitin había terminado la Bronx High School of Science, y era un estudiante universitario de 18 años en el City College de la City University of New York, cuando presentó dos artículos ... En su [segundo] artículo, Chaitin pone adelante la noción de complejidad de Kolmogorov ...
- ^ Chaitin, GJ (octubre de 1966), "On the Length of Programs for Computing Finite Binary Sequences", Journal of the ACM , 13 (4): 547–569, doi : 10.1145 / 321356.321363 , S2CID 207698337
- ^ GJ Chaitin, Asignación de registros y derrame mediante coloración de gráficos , Patente de EE . UU. 4.571.678 (1986) [citado de Asignación de registros en la arquitectura Intel® Itanium® , p.155]
- ^ Chaitin, GJ (2003). "De la filosofía al tamaño del programa". arXiv : matemáticas / 0303352 .
- ↑ Zenil, Hector "El medallón de Leibniz cobra vida después de 300 años" Anima Ex Machina , The Blog of Hector Zenil , 3 de noviembre de 2007.
- ^ Panu Raatikainen, "Explorando la aleatoriedad y lo incognoscible" Avisos de la revisión de libros de la Sociedad Matemática Estadounidense de octubre de 2001.
- ^ Franzén, Torkel (2005), Teorema de Gödel: Una guía incompleta para su uso y abuso , Wellesley, Massachusetts: AK Peters, Ltd. , ISBN 978-1-56881-238-0
Otras lecturas
- Pagallo, Ugo (2005), Introduzione alla filosofia digitale. Da Leibniz a Chaitin [ Introducción a la filosofía digital: de Leibniz a Chaitin ] (en italiano), G. Giappichelli Editore, ISBN 978-88-348-5635-2, archivado desde el original el 22 de julio de 2011 , consultado el 16 de abril de 2008
- Calude, Cristian S., ed. (2007), Aleatoriedad y complejidad. De Leibniz a Chaitin , World Scientific, ISBN 978-981-277-082-0
- Wuppuluri, Shyam; Doria, Francisco A., eds. (2020), Desentrañar la complejidad: la vida y obra de Gregory Chaitin , World Scientific, doi : 10.1142 / 11270 , ISBN 978-981-12-0006-9
enlaces externos
- Página de inicio de GJ Chaitin
- Lista de publicaciones de GJ Chaitin
- Video de la conferencia sobre metabiología: "La vida como software en evolución" en YouTube
- Video de la conferencia sobre "Leibniz, complejidad e incompletitud"
- Obras de Gregory Chaitin o sobre ellas en bibliotecas ( catálogo de WorldCat )
- Artículo de New Scientist (marzo de 2001) sobre Chaitin, Omegas y Super-Omegas
- Una versión corta de la prueba de Chaitin.
- Gregory Chaitin amplió la entrevista cinematográfica y las transcripciones de '¿Por qué estamos aquí?' serie documental .