Gregorio Chaitin

Gregory John Chaitin (CHY-tin; nacido el 25 de junio de 1947) es un matemático e informático argentino-estadounidense. A partir de finales de la década de 1960, Chaitin hizo contribuciones a la teoría de la información algorítmica y a las metamatemáticas, en particular un resultado teórico de la computadora equivalente al teorema de incompletitud de Gödel. 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 las obras de p. Solomonoff, Kolmogorov, Martin-Löf y Leonid Levin, la teoría algorítmica de la información 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. Es un tema común en varios planes de estudios de ciencias de la computación. Además de los informáticos, el trabajo de Chaitin llama la atención de muchos filósofos y matemáticos sobre problemas fundamentales de la creatividad matemática y la filosofía digital.

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.

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 coloreado de gráficos para realizar la asignación de registros en la compilación, un proceso conocido como algoritmo de Chaitin.

Anteriormente fue investigador en el Centro de Investigación Thomas J. Watson de IBM en Nueva York y sigue siendo investigador emérito. Ha escrito más de 10 libros que han sido traducidos 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 sobre 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 '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 lógica matemática y teoría algorítmica de la información muestran que hay "hechos matemáticos que son verdaderos sin razón, que son verdaderos por accidente". 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 Wolfram Research le otorgó la Medalla Leibniz. En 2009 obtuvo el título de doctor en filosofía honoris causa por la Universidad Nacional de Córdoba. Anteriormente fue investigador en el Centro de Investigación Thomas J. Watson de IBM y ahora es profesor en 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 cree que es una especie de aleatoriedad aritmética fundamental. 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.