Gregorio Chaitin

The neutrality of this article is disputed. Relevant discussion may be found on the talk page. Please do not remove this message until conditions to do so are met. (June 2024) (Learn how and when to remove this message)

Gregorio Chaitin
Chaitin en 2008
Nacido	(1947-06-25) 25 de junio de 1947 (77 años) Chicago [1]
Nacionalidad	Argentino - Americano
Conocido por	Teoría de la información algorítmica La constante de Chaitin Algoritmo de Chaitin
Carrera científica
Campos	Biología Matemáticas Ciencias de la Computación
Instituciones	Universidad Politécnica Mohammed VI Universidad Federal de Río de Janeiro Universidad de Buenos Aires Centro de investigación IBM TJ Watson
Sitio web	uba.academia.edu/GregoryChaitin

Gregory John Chaitin ( nacido el 25 de junio de 1947 ) es un matemático y científico informático argentino - estadounidense . A finales de la década de 1960, Chaitin realizó contribuciones a la teoría de la información algorítmica y a la metamatemática , en particular un resultado teórico informático 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 del tamaño del programa) junto con Andrei Kolmogorov y Ray Solomonoff . Junto con los trabajos 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 programas de informática. Además de los informáticos, el trabajo de Chaitin atrae la atención de muchos filósofos y matemáticos hacia problemas fundamentales de la creatividad matemática y la filosofía digital.

Gregory Chaitin es judío y 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 coloración de gráficos para realizar la asignación de registros en la compilación , un proceso conocido como el algoritmo de Chaitin . ^[7]

Anteriormente fue investigador en el Centro de Investigación Thomas J. Watson de IBM en Nueva York. Ha escrito más de 10 libros que han sido traducidos a unos 15 idiomas. Actualmente se interesa por cuestiones de metabiología y formalizaciones de la teoría de la evolución basadas en la teoría de la información , y es miembro del Instituto de Estudios Avanzados de la Universidad Politécnica Mohammed VI .

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 de la información algorítmica es la clave para resolver problemas en el campo de la biología (obtener una definición formal de la "vida", su origen y evolución ) y la neurociencia (el problema de la conciencia y el estudio de la mente).

En escritos recientes, Chaitin defiende una postura conocida como filosofía digital . En la epistemología de las matemáticas, afirma que sus hallazgos en lógica matemática y teoría de la información algorítmica muestran que hay "hechos matemáticos que son verdaderos sin razón alguna, 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 .

En 1995 le fue otorgado el grado de doctor en ciencias honoris causa por la Universidad de Maine . En 2002 le fue otorgado el título de profesor honorario por la Universidad de Buenos Aires en Argentina, donde nacieron sus padres y donde Chaitin pasó parte de su juventud. En 2007 le fue otorgada la Medalla Leibniz ^[9] por Wolfram Research . En 2009 le fue otorgado el grado de doctor en filosofía honoris causa por la Universidad Nacional de Córdoba . Anteriormente fue investigador del Centro de Investigación Thomas J. Watson de IBM y profesor de la Universidad Federal de Río de Janeiro .

This article's "criticism" or "controversy" section may compromise the article's neutrality. Please help rewrite or integrate negative information to other sections through discussion on the talk page. (July 2016)

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 para ello que representa el trabajo de Chaitin. ^[11]

• Información, aleatoriedad e incompletitud ( World Scientific 1987) (en línea)
• Teoría de la información algorítmica ( 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) (en línea Archivado el 25 de abril de 2023 en Wayback Machine )
• Lo incognoscible ( Springer-Verlag 1999) (en línea)
• Explorando la aleatoriedad ( Springer-Verlag 2001) (en línea)
• Conversaciones con un matemático ( Springer-Verlag 2002) (en línea)
• De la filosofía al tamaño del programa (Instituto de Cibernética de Tallin, 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 algorítmica della complessità (G. Giappichelli Editore 2006)
• Reflexiones sobre Gödel y Turing ( World Scientific 2007) (en línea Archivado el 29 de abril de 2023 en Wayback Machine )
• Matemáticas, complejidad y filosofía (Editorial Midas 2011)
• El camino de Gödel ( CRC Press 2012)
• Probando la teoría de Darwin: cómo hacer que la biología sea matemática ( Pantheon Books 2012) (en línea)
• Matemáticas filosóficas: infinitud, incompletitud, irreducibilidad ( Academia.edu 2024) (en línea)

• Pagallo, Ugo (2005), Introducción a la filosofía digital. 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ñando la complejidad: la vida y la obra de Gregory Chaitin , World Scientific, doi :10.1142/11270, ISBN 978-981-12-0006-9, Número de identificación del sujeto  198790362

Wikiquote tiene citas relacionadas con Gregory Chaitin .

• Página de inicio de GJ Chaitin de academia.edu
• Página de inicio de GJ Chaitin de UMaine.edu en Internet Archive Archivado el 29 de octubre de 2013 en Wayback Machine
• Lista de publicaciones de GJ Chaitin
• Vídeo de la conferencia sobre metabiología: “La vida como software en evolución” en YouTube
• Vídeo de la conferencia sobre "Leibniz, complejidad e incompletitud"
• Artículo de New Scientist (marzo de 2001) sobre la chaitina, los omegas y los superomegas
• Una versión corta de la prueba de Chaitin
• Entrevista ampliada y transcripciones de Gregory Chaitin para la serie documental '¿Por qué estamos aquí?'
• Chaitin Lisp en GitHub