Biografia de Sergey Brin [Informático - Creador de Google - ]

Sergey Brin (en ruso: Сергей Михайлович Брин (Sergey Mijaylovich Brin); n. Moscú, 21 de agosto de 1973) es un informático ruso-estadounidense, famoso por ser el creador y co-fundador del popular motor de búsqueda Google.

Originario de Moscú, se licenció con honores en Ciencias matemáticas y en Ciencias de la Computación por la Universidad de Maryland, en College Park. Se encuentra actualmente doctorando en Ciencias de la Computación por la Universidad de Stanford, donde recibió su maestría. Brin recibió una beca universitaria de posgrado de la National Science Foundation, así como un Master honorario en Administración de Empresas del Instituto de Empresa. Fue en Stanford donde conoció a Larry Page con quien desarrolló lo que se convertiría en el famoso buscador, juntos fundaron Google Inc. en 1998.

Brin actualmente ocupa el puesto de presidente de tecnología en Google y, según la revista Forbes posee un valor neto estimado de 17.5 mil millones de dolares en el 2010.

Los intereses en investigación de Brin incluyen motores de búsqueda, extracción de información de fuentes no estructuradas, extracción de datos de largas recopilaciones de texto e información científica, y Sambo. Ha publicado más de una docena de artículos en revistas académicas de primer nivel, que incluyen: Extracción de patrones y relaciones de la World Wide Web; Extracción dinámica de datos: una nueva arquitectura para la información con alta dimensionalidad, cuya autoría comparte con Larry Page; Técnicas escalables para la extracción de estructuras casuales; Conteo dinámico de elementos y reglas de implicación para los datos de canasta de mercado; y Más allá de datos de canasta: generalización de las reglas de asociación en correlaciones.

Brin ha sido ponente en varios foros académicos, empresariales y tecnológicos internacionales, incluidos el Foro Económico Mundial y la Conferencia sobre Tecnología, Entretenimiento y Diseño. Además, ha expuesto su visión sobre la industria tecnológica y sobre el futuro de la búsqueda en el programa de Charlie Rose y en las cadenas CNBC y CNNfn. En 2004, Larry Page y él fueron nombrados "Personajes de la semana" en el programa World News Tonight de la cadena ABC.

Biografía de Andi Gutmans [Programador - Informática - Israel]

Andi Gutmans es un programador Israelí de origen suizo, desarrollador de PHP y co-fundador de la empresa Zend Technologies.1 Egresado del Technion, el Instituto Israelí de Tecnología en Haifa, Gutmans y su compañero de clases Zeev Suraski crearon PHP 3 en 1997. En 1999 escribieron conjuntamente el llamado Zend Engine, que es el núcleo de PHP 4, y fundaron la empresa Zend Technologies, la cual ha estado monitoreando y estimulando el desarrollo de PHP, incluyendo la distribución actual, PHP 5.2 El nombre Zend es un portmanteau de sus nombres, Zeev y Andi.

Gutmans es actualmente el CEO de Zend Technologies. Antes de ser promovido a CEO en febrero de 2009 el lideraba el área de I&D de Zend, incluyendo el desarrollo de todos los productos de Zend, y las contribuciones de la compañía a los proyectos de código abierto Zend Framework y PHP Development Tools. Gutmans ha participado en Zend en su financiamiento corporativo, y además tiene alianzas con compañías como Adobe, IBM, Microsoft y Oracle.

Gutmans es además miembro de la junta de gobierno de la Eclipse Foundation (a la cual se unió en octubre del año 2005), miembro emérito de la Apache Software Foundation, y estuvo nominado para un FSF Award for the Advancement of Free Software9 en 1999.

En el año 2004, escribió un libro llamado "PHP 5 Power Programming" conjuntamente con Stig Bakken y Derick Rethans.

Gutmans fue reconocido por la revista ComputerWorld en Julio del año 2007 en su artículo “40 Under 40: 40 Innovative IT People to Watch, Under the Age of 40.”

Biografía de John Carmack [Programador - Informática - USA]

John D. Carmack II (nacido el 20 de agosto de 1970) es una figura ampliamente reconocida en la industria de los videojuegos. Carmack co-fundó id Software, una empresa de desarrollo de videojuegos, en 1991. Carmack es también muy reconocido por su habilidad como programador, especialmente en el campo de los gráficos tridimensionales.

Carmack creció en la ciudad de Kansas y se interesó en la informática desde una edad muy temprana. Estudió en la Universidad de Kansas por dos semestres antes de abandonar sus estudios para trabajar como programador independiente. Softdisk, una empresa de juegos, contrató a Carmack uniéndolo con John Romero, otro futuro miembro de id Software. En Softdisk produjeron el primero de la serie de juegos Commander Keen en 1990, antes de que Carmack y el resto del equipo abandonara la empresa para crear id.

Las habilidades de Carmack como programador permitieron el desarrollo de los primeros juegos de acción en primera persona (First Person Shooter o FPS), Wolfenstein 3D, Doom y Quake, entre otros. Los motores de juegos producidos por Carmack han obtenido siempre mayor ventaja de los desarrollos en hardware para PC antes que otros desarrolladores. Carmack es autor de varias técnicas algorítmicas para gráficos de computadora, en particular el cacheo de superficies.

Reconocido como uno de los líderes técnicos en el mundo de los juegos para computadora, los motores de juegos de Carmack han sido licenciados y utilizados en algunos de los juegos de acción en primera persona más influyentes en la historia del género, incluyendo Half-Life y Medal of Honor.

Actualmente trabaja en un nuevo motor gráfico llamado "IDTech 5". Este motor gráfico formara parte del proximo título de id software llamado "Rage" que saldra en el mes de septiembre del 2011. Posteriormente utilizaran el "IDTech 5" en "Doom 4".

Biografía de Informaticos Brazileños [Informática - Ciencia - Investigación]

Carlos Morimoto
Carlos Eduardo Morimoto es el creador de la distribución Linux brasilleña conocida como Kurumin, que está basada en Knoppix. Él es el autor de cientos de libros relacionados al hardware y al software, especialmente a Linux, todos ellos publicados en Brasil, el cual es su país de origen. Además vende libros y CDs de Linux, más bien, de la distribución creada por él. La mayor parte de su trabajo es de contenido libre.

Alfredo Kojima
Kojima nació en Gramado, Rio Grande do Sul, Brasil como hijo mayor de padres japoneses.

Después de graduarse con el título de bachillerato en computación de la Universidad Federal de Rio Grande do Sul (UFRGS), comenzó a trabajar en Conectiva donde escribió la primera versión de Synaptic, un administrador de paquetes gráfico, y, en colaboración con Claudio Matsuoka escribió un backend del administrador de paquetes APT en formato RPM — anteriormente, la suite APT estaba disponible sólo en el formato de paquetes DEB, propio de la distribución Debian.

En marzo de 2006, trabaja para MySQL como un desarrollador de la GUI, donde escribió las versiones para los sistemas operativos GNU/Linux y Mac OS X de los programas MySQL Administrator, MySQL Workbench y MySQL Query Browser.

Kojima vive ahora en Buenos Aires, Argentina con su esposa Sonia.

Marcelo Tosatti
Marcelo Tosatti es un desarrollador del núcleo Linux. Se convirtió en mantenedor de las series estables del núcleo 2.4 en noviembre del año 2001 cuando tenía tan sólo 18 años, lanzando el núcleo 2.4.16 el 26 de noviembre.

Nació en Curitiba, Brasil y trabajó para Conectiva durante seis años, en ese tiempo se empezó a involucrar en la programación del núcleo. En julio de 2003 se marchó a vivir a Porto Alegre donde trabajó para la empresa Cyclades Corporation. Desde Mayo del 2006, Marcelo está trabajando para Red Hat.

Bigrafia de Fernando J. Corbató [Informática - Ciencia - Computación]

Fernando José Corbató (1 de julio de 1926, Oakland, California) es un eminente científico de la computación, pionero en el desarrollo de los sistemas operativos de tiempo compartido.

Entre otros galardones, ha recibido el Premio Turing de la ACM en 1990 "por su trabajo organizando los conceptos y liderando el desarrollo de las computadoras de tiempo y recursos compartidos, a gran escala y para propósito general".

El primer sistema de tiempo compartido en el que trabajó fue conocido como el sistema compatible de tiempo compartido, en el MIT. Se trataba de una versión temprana de otra presentada en 1961. La experiencia adquirida le llevó a otro proyecto, Multics, continuado por Honeywell. Aunque Multics no fue verdaderamente exitoso comercialmente, inspiró a Ken Thompson para desarrollar Unix, su descendiente directo, que aún en 2006 continúa en uso en amplios ámbitos. Además, también sirvió de modelo para todo diseño subsiguiente de sistemas operativos.

Nacido en Oakland, California, Corbató recibió su licenciatura por el Instituto de Tecnología de California en 1950, y se doctoró en física por el Instituto de Tecnología de Massachusetts en 1956. Al graduarse, se unió al Centro de Computación del MIT, consiguiendo plaza de profesor en 1965, y permaneciendo en su plaza hasta retirarse.

Corbató es conocido por la “Ley de Corbató”, que establece que
El número de líneas de código que un programador puede escribir en un período es el mismo independientemente del lenguaje usado.

La consecuencia es que es necesario el uso de abstracciones de alto nivel para construir sistemas de software complejos.

En el apartado más personal, sus conocidos lo llaman "Corby", y está casado con Emily.

Biografía de Vinton Cerf [Informática - Ciencia - Computación]

Vinton 'Vint' G. Cerf es un científico de la computación estadounidense, considerado uno de los 'padres' de Internet. Nacido en Connecticut (Estados Unidos) en 1943, se graduó en matemáticas y ciencias de la computación en la Universidad de Stanford (1965). Durante su estancia posterior en la Universidad de California (UCLA) obtuvo la maestría en ciencias y el doctorado.

A principios de los años 70 comenzó a trabajar con Robert Kahn en el desarrollo de un conjunto de protocolos de comunicaciones para la red militar ARPANET, financiado por la agencia gubernamental DARPA. El objetivo era crear una "red de redes" que permitiera interconectar las distintas redes del Departamento de Defensa de los Estados Unidos, todas ellas de diferentes tipos y que funcionaban con diferentes sistemas operativos, con independencia del tipo de conexión: radioenlaces, satélites y líneas telefónicas.

Las investigaciones, lideradas por Vinton Cerf, primero desde la Universidad de California (1967-1972) y posteriormente desde la Universidad de Stanford (1972-1976), llevaron al diseño del conjunto de protocolos que hoy son conocidos como TCP/IP (Transmission Control Protocol/Internet Protocol), que fue presentado por Vinton Cerf y Robert Kahn en 1972).

Entre 1976 y 1982, trabajando en DARPA, fue pionero en el desarrollo de la transmisión por radio y satélite de paquetes, responsable del proyecto Internet y del programa de investigación de seguridad en la red. Siempre preocupado por los problemas de conexión de redes, Cerf estableció en 1979 la Internet Configuration Control Board (que posteriormente se denominó Internet Activities Board), y fue su primer presidente.

Entre 1982 y 1986, Cerf diseñó el MCI MAIL, primer servicio comercial de correo electrónico que se conectaría a Internet.

En 1992 fue uno de los fundadores de la Internet Society y su primer presidente.

Actualmente Vinton Cerf es el vicepresidente mundial y Chief Internet Evangelist de Google, ocupación que compagina con el cargo de presidente del ICANN. Es miembro del Consejo Asesor Internacional del Centro Cultural Internacional Óscar Niemeyer de Avilés, Asturias.

Premios

- Premio Petas 2004 (compartido con Robert Kahn)
- Premio Príncipe de Asturias de Investigación Científica y Técnica 2002 (compartido con Lawrence Roberts, Robert Kahn y Tim Berners-Lee)
- Premio Japan Prize 2008
- Doctor Honoris Causa por la Universidad Politécnica de Cartagena (España)
- Doctor Honoris Causa por la Universidad de Zaragoza (España)1
- Doctor Honoris Causa por la Universidad de las Islas Baleares (España)2
- Doctor Honoris Causa por la Universitat Rovira i Virgili (España) [1]
- Doctor Honoris Causa por la Universidad Politécnica de Madrid (España)[2]

Biografía de Frederick Brooks [Informática - Ciencia - Software]

Frederick Phillips Brooks, Jr. (nacido el 19 de abril de 1931) es un ingeniero de software y científico de la computación, más conocido por dirigir el desarrollo del sistema operativo OS/360, y después escribir honestamente sobre el proceso en su famoso libro The Mythical Man-Month (El mítico hombre-mes). "Es una experiencia humillante el cometer un error de coste multimillonario, pero es también muy memorable." Brooks recibió el Premio Turing en 1999 "por sus contribuciones a arquitectura de computadores, sistemas operativos e ingeniería del software."

Nacido en Durham, Carolina del Norte, asistió a la Universidad de Duke, licenciándose en 1953. Se doctoró en matemática aplicada por la Universidad de Harvard en 1956. Howard Aiken fue su director de tesis.

Brooks se incorporó a IBM en 1956, trabajando en Poughkeepsie y Yorktown, Nueva York. Trabajó en la arquitectura del IBM 7030 (un supercomputador científico de $10M para el Laboratorio Científico de Los Alamos) y los computadores Harvest, para después dirigir el desarrollo de la familia de computadores System/360 y el software que ejecutaban.

Fue en The Mythical Man-Month cuando Brooks hizo su famosa observación: "Añadir personal a un proyecto retrasado lo retrasará aún más." Desde entonces, esto se ha venido conociendo como la "Ley de Brooks." Además de The Mythical Man-Month, Brooks es conocido por su ensayo No Silver Bullet, sobre ingeniería del software.

En 1965, Brooks dejó IBM para fundar el Departamento de Ciencias de la Computación en la Universidad de Carolina del Norte en Chapel Hill del que fue decano durante 20 años. En 2004 estaba aún implicado en actividades investigadoras, principalmente en realidad virtual y visualización científica. En enero de 2005 impartió la clase magistral anual Alan Turing ante la IEE/BCS en Londres, sobre "Colaboración y Telecolaboración en Diseño".

Brooks es cristiano practicante, muy activo en la comunidad evangélica.

Biografía de Grady Booch [Informática - Ciecia - Software]

Grady Booch (nació el 27 de febrero de 1955) es un diseñador de software, un metodologista de software y entusiasta de diseño de patrones. Es director científico de Rational Software (ahora parte de IBM) y editor de una serie de Benjamin/Cummings. En 1995 se recibió como miembro de la Asociación de Maquinaria Computacional (ACM). Fue nombrado socio de IBM en 2003.

Booch es mejor conocido por el desarrollo del Lenguaje Unificado de Modelado con Ivar Jacobson y James Rumbaugh. También desarrolló el método Booch de desarrollo de software, el que presenta en su libro, Análisis y Diseño Orientado a Objetos. Él aconseja la adición de más clases para simplificar códigos complejos.

Obtuvo su licenciatura en 1977 en la Academia de la Fuerza Aérea de los Estados Unidos y un master en ingeniería eléctrica en 1979 de la Universidad de California, Santa Barbara.

Biografía de John Backus [Informática - Ciencia - Usa]

John Backus (Filadelfia, 3 de diciembre de 1924 - Oregón, 17 de marzo de 2007) fue un informático estadounidense, ganador del Premio Turing en 1977 por sus trabajos en sistemas de programación de alto nivel, en especial por su trabajo con FORTRAN.

Para evitar las dificultades de programación de las calculadoras de su época, en 1954 Backus se encargó de la dirección de un proyecto de investigación en IBM para el proyecto y realización de un lenguaje de programación más cercano a la notación matemática normal. De ese proyecto surgió el lenguaje FORTRAN, el primero de los lenguajes de programación de alto nivel que tuvo un gran impacto, incluso comercial, en la emergente comunidad informática.

Tras la realización de FORTRAN, Backus fue un miembro muy activo del comité internacional que se encargó del proyecto de lenguaje ALGOL. En ese contexto propuso una notación para la representación de las gramáticas usadas en la definición de un lenguaje de programación (las llamadas gramáticas libres de contexto). Tal notación se conoce como BNF, o Forma de Naur y Backus (Backus-Naur Form) y une al nombre de Backus al de Peter Naur, un informático europeo del comité ALGOL que contribuyó a su definición.

En los años 1970, Backus se interesó sobre todo por la Programación funcional, y proyectó el lenguaje de programación FP, descrito en el texto que le sirvió para ganar el premio Turing, "Can Programming be Liberated from the Von Neumann Style?" Se trata de un lenguaje de uso fundamentalmente académico, que sin embargo animó un gran número de investigaciones. El proyecto FP, transformado en FL, se terminó cuando Backus se jubiló en IBM, en 1991.

John Backus falleció el sábado 17 de marzo de 2007, a la edad de 82 años en su casa en Ashland, Oregón por causas naturales, de acuerdo la declaración de su familia.

Biografía de Gene Amdahl [Informática - Ciencia - Usa]

Eugene Myron Amdahl (n. 16 de noviembre de 1922, Flandreau, Dakota del Sur) americano de origen noruego, arquitecto computacional y una de las personalidades más importante y excéntricas en la historia de la informática y la computación. Fundó cuatro compañías tecnológicas en diferentes ámbitos, la mayoría de las cuales, se fundaron con el objetivo de competir con otras compañías donde él mismo había trabajado o incluso creado anteriormente, y que ya había abandonado. Un ejemplo de esto es la famosa empresa informática IBM que sigue en auge actualmente, y que abandonó para hacerle la competencia.

mdahl nació en Dakota del sur en el año 1922. Se crió en una granja y recibió su educación primaria en una escuela rural que constaba de una única aula hasta el curso de octavo grado. En el año 1948 se licenció en ingeniería física en la Universidad del Estado de Dakota del Sur tras haber experimentado de primera mano con la electrónica en la marina durante la segunda guerra mundial. Continuó su formación en la Universidad de Wisconsin-Madison, en la cual obtuvo un título de máster y el doctorado en física teórica en el año 1952. Su tesis doctoral trató sobre la construcción de su primera computadora, WISC (Computadora Integralmente Sincronizada de Wisconsin).

Amdahl recibió el premio memorial de Harry M. Goode de la sociedad de la computación en 1983 por sus "contribuciones excepcionales al diseño, aplicación, y fabricación de computadoras de alto rendimiento a gran escala." Le concedieron el honor de unirse a los premiados por la ACM/IEEEcon el premio Eckert-Mauchly[1] en 1987 "por las innovaciones excepcionales en arquitectura del computador, incluyendo procesamiento de tuberías, memoria caché y look-ahead," y también un premio al empresario emprendedor del computador del IEEE en 1989 "en reconocimiento por sus esfuerzos emprendedores en el desarrollo de una industria fuerte y competitiva de procesadores a gran escala."

La revista Computerworld lo nombró una de 25 personas que cambiaron el mundo en un artículo en 1992. Él es un miembro del IEEE, academia nacional de miembros de la ingeniería, y un distinguido miembro de la Sociedad Británica de Computación.

Además, este hombre, también es conocido por la ley de Amdahl, creada en 1967, que es una fórmula que él utilizaba para probar que, más allá de cierto punto, el hecho de agregar más procesadores a un sistema de procesamiento paralelo no produce una mejora significativa de la velocidad. Las nuevas técnicas que existen en la tecnología de procesamiento paralelo moderna hoy en día, han dejado, sin embargo, a está ley algo obsoleta.

Biografía de Leonard Adleman [Informática - Ciencia - Usa]

Leonard Adleman (31 de diciembre de 1945) profesor en ciencias de la computación y biología molecular de la Universidad del Sur de California. Conocido por ser el inventor de la criptografía RSA (Rivest-Shamir-Adleman) en 1977 y de la computación por ADN.

Nacido en California, Adleman creció en San Francisco, graduándose en la Universidad de Berkeley. En 1994, publicó un artículo describiendo un experimento que utilizaba el ADN como un sistema computacional. En él resuelve la instancia con siete nodos del problema del camino hamiltoniano. Dicho problema es NP-completo. Aunque su solución era trivial, este artículo es la primera instancia conocida que utiliza satisfactoriamente el ADN en una computación de un algoritmo. Desde entonces se considera la computación con ADN como un potencial a la hora de resolver otros problemas de orden geométrico.

Por su contribución a la invención del RSA, Adleman ha sido condecorado en 2002 junto con sus compañeros Ronald Rivest y Adi Shamir con el premio Turing de la Asociación de Máquinas Computacionales, ACM por sus siglas en inglés, también llamado el Premio Nobel de la Computación.

Biografía de Andrew Chi-Chih Yao [Informática - Ciencia - China]

Andrew Chi-Chih Yao (Shanghái, China, 24 de diciembre de 1946). Destacado científico chino en el ámbito de la computación.

Terminó su carrera de pregrado en la Universidad Nacional de Taiwan, 1967, obtuvo el grado de PhD en física en la Universidad de Harvard en el año 1972, y un PhD en Ciencias de la Computación en la Universidad de Illinois en el año 1975. Ha laborado en diferentes centros de investigación, como el IBM Research Center, Bell Laboratories, Xerox Palo Alto Research Center, DEC Systems Research Center, Microsoft Research Asia, ha sido profesor de MIT, Universidad Stanford, Universidad Berkeley, Universidad Princeton, y actualmente es profesor de la Universidad Tsinghua.

Ha recibido muchas dictinciones y premios, entre ellos destacan el Premio Turing, el más prestigioso en el campo de la Ciencias de la Computación, en el año 2000, "en reconocimiento a su contribución fundamental a la teoría de la computación, incluyendo teoría basado en complejidad de generación de números seudoaleatoriaos, criptografía, y complejudad de comunicación".

Es miembro de la Academia de Ciencia de la Nación de Estados Unidos, miembro fellow de la Academia de Artes y Ciencias Americana, y miembro externo de la Academia de Ciencias de China.

Biografía de James Gosling [Informática - Ciencia - Canadá]

James Gosling (nacido el 19 de mayo de 1956 cerca de Calgary, Alberta, Canadá) es un famoso científico de la computación conocido como el padre del lenguaje de programación Java.

Se graduó en Ciencias en la Universidad de Calgary en 1977 y realizó el doctorado en la famosa Universidad de Carnegie Mellon en 1983.

Gosling es reconocido como el creador del lenguaje de programación Java. Realizó el diseño original y la implementación del compilador original y la máquina virtual Java, por lo que fue elegido miembro de la Academia Nacional de Ingeniería de Estados Unidos (NAE).

Además, Gosling ha contribuido con otros proyectos de software como NeWS y Gosling Emacs.

Desde 1984 James Gosling ha trabajado en la compañía estadounidense Sun Microsystems donde fue vicepresidente hasta que Sun Microsystems fue comprada por Oracle. Abandonó esta compañía el 2 de abril de 2010.

Biografía de Kurt Gödel [Informática - Ciencia - Académico]

Kurt Gödel(28 de abril de 1906 Brno (Brünn), Imperio austrohúngaro (ahora República Checa) – 14 de enero de 1978 Princeton, New Jersey) fue un lógico, matemático y filósofo austriaco-estadounidense.

Reconocido como uno de los más importantes lógicos de todos los tiempos, el trabajo de Gödel ha tenido un impacto inmenso en el pensamiento científico y filosófico del siglo XX. Gödel, al igual que otros pensadores como Bertrand Russell, A. N. Whitehead y David Hilbert intentó emplear la lógica y la teoría de conjuntos para comprender los fundamentos de la matemática. A Gödel se le conoce mejor por sus dos teoremas de la incompletitud, publicados en 1931 a los 25 años de edad, un año después de finalizar su doctorado en la Universidad de Viena.

El más célebre de sus teoremas de la incompletitud establece que para todo sistema axiomático recursivo auto-consistente lo suficientemente poderoso como para describir la aritmética de los números naturales (la aritmética de Peano), existen proposiciones verdaderas sobre los naturales que no pueden demostrarse a partir de los axiomas. Para demostrar este teorema desarrolló una técnica denominada ahora como numeración de Gödel, el cual codifica expresiones formales como números naturales.

También demostró que la hipótesis del continuo no puede refutarse desde los axiomas aceptados de la teoría de conjuntos, si dichos axiomas son consistentes. Realizó importantes contribuciones a la teoría de la demostración al esclarecer las conexiones entre la lógica clásica, la lógica intuicionista y la lógica modal.

Publicaciones
- 1931, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme," Monatshefte für Mathematik und Physik 38: 173-98.
- 1932, "Zum intuitionistischen Aussagenkalkül", Anzeiger Akademie der Wissenschaften Wien 69: 65–66.

- 1940. The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Princeton University Press.
- 1947. "What is Cantor's continuum problem?" The American Mathematical Monthly 54: 515-25. Revised version in Paul Benacerraf and Hilary Putnam, eds., 1984 (1964). Philosophy of Mathematics: Selected Readings. Cambridge Univ. Press: 470-85.

Biografía de Gregory Chaitin [Informática - Ciencia - Argentina]

Gregory J. Chaitin (nacido en Nueva York en 1947) es un matemático y científico de la computación argentino-estadounidense.
Gregory J. Chaitin nació en Nueva York en 1947.1 Sus padres eran inmigrantes argentinos. En 1965 regresó a Buenos Aires donde estudió matemáticas en la Universidad de Buenos Aires. Luego de recibirse trabajó para IBM y como docente en la Facultad de Ciencias Exactas.

Habiendo comenzado hacia fines de los años 1960, Chaitin hizo importantes contribuciones a la teoría algorítmica de la información y a la metamatemática, en particular un teorema de la incompletitud similar en espíritu al teorema de la incompletitud de Gödel.

En 1995 recibió el grado de doctor en ciencias honoris causa por la Universidad de Maine. En 2002 recibió el título de profesor honorario por la Universidad de Buenos Aires en Argentina, donde sus padres nacieron y donde Chaitin pasó parte de su juventud. Está en el equipo del Centro de Investigación Thomas J. Watson de IBM y además es profesor visitante en el Departamento de Computación de la Universidad de Auckland, y en el comité internacional del Instituto de Sistemas Complejos Valparaíso.

Chaitin definió la constante de Chaitin Ω, un número real cuyos dígitos están equidistribuidos y expresa la probabilidad de detención de un programa escogido al azar. Ω tiene numerosas propiedades matemáticas interesantes, incluyendo el hecho de ser definible pero no computable.

El trabajo de Chaitin en la teoría algorítmica de la información continuó con el trabajo anterior de Kolmogórov en varios respectos.

Chaitin también escribe sobre filosofía, especialmente acerca de metafísica y filosofía de la matemática (particularmente sobre asuntos epistemológicos en la matemática). En metafísica, Chaitin dice que la teoría algorítmica de la información es la clave para resolver problemas en materias como biología (obteniendo una definición formal de ‘vida’, sus orígines y evolución) y neurociencia (el problema de la conciencia y el estudio de la mente). Además, en escritos recientes, defiende la posición llamada filosofía digital. En la epistemología de las matemáticas, aclama que sus resultados en lógica matemática y en teoría de la información algorítmica muestran que hay “hechos matemáticos que son ciertos sin razón, por accidente. Son hechos matemáticos aleatorios”. Chaitin propone que los matemáticos deberían abandonar toda esperanza de probarlos y adoptar una metodología cuasi-empírica.

Aunque el trabajo matemático de Chaitin es generalmente aceptado como correcto, varios matemáticos discrepan fuertemente con su interpretación filosófica. El filósofo Panu Raatikainen argumenta que Chaitin malinterpreta las implicaciones de su propio trabajo y que sus conclusiones sobre asuntos filosóficos no son sólidas. El filósofo Torkel Franzén critica la interpretación del Teorema de la incompletitud de Gödel de Chaitin y la explicación que su trabajo representa.

Chaitin es también el inventor de usar coloreo de grafos para la asignación de los registros al compilar.

Es doctor honoris causa por la Universidad Nacional de Córdoba.

Obra
- Algorithmic Information Theory, (Cambridge University Press, 1987),
- Information, Randomness & Incompleteness, (World Scientific, 1987),
- Information-Theoretic Incompleteness, (World Scientific, 1992),
- The Limits of Mathematics, (Springer-Verlag 1998),
- The Unknowable, (Springer-Verlag 1999),
- Exploring Randomness, (Springer-Verlag 2001),
- Conversations with a Mathematician, (Springer-Verlag 2002),
- From Philosophy to Program Size, (Tallinn Cybernetics Institute 2003),
- Meta Math!, (Pantheon 2005).

Biografía de Joseph Weizenbaum [Informática - Ciencias - Alemania]

Joseph Weizenbaum (8 de enero de 1923 - 5 de marzo de 2008) fue profesor emérito de Informática en el Instituto Tecnológico de Massachusetts y se le considera uno de los padres de la cibernética.

Nació en Berlín, Alemán de padres judíos, escapó del régimen de Hitler en 1936, emigrando con su familia a los Estados Unidos. Empezó a estudiar matemáticas en 1941, pero sus estudios fueron interrumpidos por la guerra, durante la que sirvió en el ejército.

Sobre los años 50, trabajó en computación analógica, y ayudó a crear un ordenador digital para la Universidad Wayne State. En 1955 trabajó para General Electric en el primer ordenador utilizado por un banco y en 1963 entró en el Instituto Tecnológico de Massachusetts, dos años después creó allí su célebre departamento de ciencias de la computación.

En 1966 publicó un aparentemente simple programa llamado ELIZA que utilizaba el procesamiento del lenguaje natural para dar la sensación de cierta empatía. El programa aplicaba reglas de concordancia de patrones a las frases de los humanos para calcular sus respuestas. Weizenbaum se sorprendió del impacto que este programa tuvo, al tomarse en serio por mucha gente que incluso llegaban a abrirle sus corazones. Esto le hizo pensar sobre las implicaciones filosóficas de la Inteligencia Artificial y más adelante se convirtió en uno de sus más fervientes críticos. Su influyente libro de 1976 El Poder de las Computadoras y la Razón Humana (Computer Power and Human Reason) muestra su ambivalencia en cuanto a la tecnología introducida por la informática y afirma que cuando la Inteligencia Artificial sea posible, no deberemos dejarles tomar decisiones importantes por que los ordenadores nunca tendrán cualidades humanas como la compasión y la sabiduría al no haber crecido en el entorno emocional de una familia humana.

En los últimos años había sido también reconocido como un gran pacifista por su firme oposición al uso de los ordenadores y la tecnología como armas y se contrapuso firmemente a la creación de robots-soldado. En este sentido se le considera que es a la Informática lo que Albert Einstein fue a la Física Nuclear.

Llegó a ser el presidente del Consejo Científico del Intituto de Comercio electrónico de Berlin.

Falleció el 5 de marzo de 2008 en Gröben, Alemania por complicaciones de cáncer

Obra
- "ELIZA - Un Programa informático para el estudio del lenguaje natural en la comunicación Hombre-Máquina", Communications of the Association for Computing Machinery 9 (1966): 36-45.
- Computer Power and Human Reason: From Judgment To Computation (San Francisco: W. H. Freeman, 1976)
- Weizenbaum, Joseph (1977). La frontera entre el ordenador y la mente. Ediciones Pirámide. ISBN 978-84-368-0073-9.