Khaitin, Gregorio
| Gregorio Khaitin | |
|---|---|
| Fecha de nacimiento | 15 de noviembre de 1947 (74 años) |
| Lugar de nacimiento | |
| País | |
| Esfera científica | biología |
| Lugar de trabajo | |
| alma mater | |
Gregory John Chaitin ( Ing. Gregory John Chaitin ; 25 de junio de 1947 , Chicago , EE . UU .) es un matemático e informático argentino - estadounidense , contribuyó a las metamatemáticas , junto con Andrei Kolmogorov es considerado el fundador de la teoría algorítmica de la información . En particular, es conocido por su nuevo teorema de incompletitud, similar en espíritu al teorema de incompletitud de Gödel .
Biografía
Khaitin nació en Chicago de inmigrantes argentinos de Buenos Aires . Los Khaitin pronto se mudaron a Nueva York . Cuando era niño, se sintió atraído por un artículo de Ernst Nagel y James Newman , "La prueba de Gödel", publicado en 1956 en Scientific American . Dos años más tarde, sus autores publicaron un libro del mismo nombre, que Khaitin leyó en la Biblioteca Pública de Nueva York. En 1959, siguiendo las instrucciones de la sección de científicos aficionados de Scientific American , construyó un generador Van de Graaff .
Khaitin se educó en Bronx High School of Science y City College , donde formuló su teorema. En 1966 la familia regresó a Buenos Aires, donde se convirtió en programador en IBM Argentina.
En 1974, Khaitin fue invitado al centro de investigación de IBM que lleva su nombre. Thomas Watson, donde todavía trabaja. De 1976 a 1985 trabajó allí como ingeniero de software y hardware en el proyecto IBM RISC .
En 1995 recibió el grado de Doctor en Ciencias in honoris causa de la Universidad de Maine, y en 2002 una cátedra honoraria de la Universidad de Buenos Aires . Desde 2000 también ha sido profesor invitado en la Universidad de Auckland.
Trabajo científico
Los intereses científicos de Khaitin se encuentran en el campo de la teoría de la información , la teoría de la computabilidad y los fundamentos de las matemáticas . Los primeros trabajos de Khaitin sobre la teoría algorítmica de la información son paralelos a los primeros trabajos de Kolmogorov.
Khaitin introdujo la constante Ω de Khaitin, un número real cuyos dígitos están igualmente distribuidos y que a veces se denomina la expresión de la probabilidad de que un programa elegido arbitrariamente se detenga . Ω tiene esa propiedad matemática de que es definible pero no computable .
Khaitin también trata cuestiones de filosofía, especialmente metafísica y filosofía de las matemáticas , en particular, problemas epistemológicos de las matemáticas. En metafísica, Khaitin sostiene que la teoría algorítmica de la información es la clave para resolver problemas en áreas como 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 los procesos de pensamiento). De hecho, en sus últimos escritos defiende una postura conocida como filosofía digital . En la epistemología de las matemáticas, afirma que sus descubrimientos en lógica matemática y teoría algorítmica de la información han demostrado que existen hechos matemáticos cuya verdad no puede ser explicada por ninguna teoría. Solo hay una forma de "probar" estos hechos: reconocerlos como axiomas sin ningún razonamiento. Khaitin sugiere que los matemáticos renuncien a cualquier esperanza de probar estos hechos y adopten una metodología casi empírica.
Khaitin también es el autor del uso del número cromático ( ing. coloración de gráficos ) para compilar la asignación de registros , conocido como el algoritmo de Khaitin .
Crítica
Algunos filósofos y lógicos están absolutamente en desacuerdo con las conclusiones filosóficas que Khaitin extrajo de sus teoremas [1] . El lógico Torkel Franzén [2] critica la interpretación de Khaitin del teorema de incompletud de Gödel y la cuestionable explicación que Khaitin le da en sus escritos.
Actas
- Teoría de la información algorítmica , ( Cambridge University Press , 1987 ),
- Información, aleatoriedad e incompletitud , ( World Scientific , 1987),
- Incompletitud de la teoría de la información , ( World Scientific , 1992 ),
- 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 , ( Instituto Cibernético de Tallinn 2003 ),
- ¡Metamatemáticas!: La búsqueda de Omega , ( Pantheon 2005 ),
- Pensando en Gödel & Turing , ( World Scientific , 2007 ).
Notas
- ↑ Panu Raatikainen "Exploring Randomness and The Unknowable" Notices of the American Mathematical Society Archivado el 29 de agosto de 2017 en Wayback Machine Book Review, octubre de 2001
- ↑ Teorema de Torkel Franzén Gödel: una guía incompleta para su uso y abuso . Wellesley , Massachusetts : AK Peters, Ltd. , 2005. x + 172 págs. ISBN 1-56881-238-8 .
Enlaces
- Traducción del artículo “Limits of Reason” de Khaitin en Scientific American
- Página de inicio de GJ Chaitin
- Lista de publicaciones de GJ Chaitin
- Artículo de New Scientist (marzo de 2001) sobre Chaitin, Omegas y Super-Omegas
- Una versión corta de la prueba de Chaitin
 sitios temáticos | ||||
|---|---|---|---|---|
| diccionarios y enciclopedias | ||||
| ||||