Edward Albert Feigenbaum

Edward Albert Feigenbaum (nacido el 20 de enero de 1936, Weehawken, Estados Unidos) es un cientfico de la computacin que trabaja en el rea de lainteligencia artificial. Frecuentemente se le llama "El Padre de los Sistemas Expertos". Se doctor en la Universidad de Carnegie Mellon. Recibi el galardn ms prestigioso de las ciencias de la computacin, el premio Turing de la ACM junto a Raj Reddy en 1993 "Por ser pionero en el diseo y construccin de sistemas de inteligencia artificial a gran escala, demostrando la importancia prctica y el potencial impacto comercial de la tecnologa de la inteligencia artificial". Fue jefe del departamento cientfico de la Fuerza Area de Estados Unidos y recibi el galardn de Servicio Civil Excepcional de dicha rama en 1997. Fund el Laboratorio de Sistemas de Conocimiento en la Universidad de Stanford. Actualmente es profesor emrito de ciencias de la computacin en dicha universidad.

Konrad Zuse
Konrad Zuse (22 de junio de 1910 - 18 de diciembre de 1995) fue un ingeniero alemn y un pionero de la computacin. Su logro ms destacado fue terminar la primera computadora controlada por programas que funcionaba, la Z3 en 1941. Esta puede que haya sido la "primera computadora", aunque hay discrepancias en este sentido pues, si se consideran algunas sutilezas, como por ejemplo que la mquina de Zuse no era de propsito general, tal vez no lo sea. Tambin dise un lenguaje de programacin de alto nivel, el Plankalkl, supuestamente en 1945, aunque fue una contribucin terica, pues el lenguaje no se implement en su vida y no tuvo ninguna influencia directa en los primeros lenguajes desarrollados. Tambin fund la primera compaa de ordenadores en 1946 y construy la Z4, que se convirti en 1950 en la primera computadora en ser comercializada. Debido a la Segunda Guerra Mundial, el trabajo inicial de Zuse pas desapercibido fuera de Alemania. Posiblemente la primera influencia documentada de Zuse en una compaa extranjera fue la adquisicin de patentes por parte de IBM en 1946. Hay una rplica de la Z3 y la Z4 en el Deutsches Museum de Mnich y otra rplica de la Z3 en un museo artstico en Karlsruhe, el Zentrum fr Kunst und Medientechnologie (ZKM), que es el nico museo artstico de media interactivo del mundo. Nacido en Berln, Alemania, Zuse se gradu como ingeniero civil de la Technische Hochschule Berlin-Charlottenburg (hoy la Technische Universitt Berlin oUniversidad Tcnica de Berln)

en 1935. Durante sus estudios de ingeniera, Zuse debi hacer muchos clculos rutinarios a mano, lo que l encontr aburrido. Esta experiencia lo llev a soar con una mquina que pudiera hacer clculos. Comenz a trabajar en la fbrica de aviones de Henschel en Dessau, pero slo un ao despus renunci a su trabajo para construir una mquina programable. Trabaj en el departamento de sus padres en 1938 hasta lograr su primer intento, llamado Z1 y que era una calculadora mecnica binaria operada con electricidad y de programabilidad limitada. Lea instrucciones desde una cinta perforada. La Z1 nunca funcion bien, debido a la falta de suficiente precisin mecnica. La Z1 y susplanos originales fueron destruidos durante la Segunda Guerra Mundial.

Alan Mathison Turing

Alan Mathison Turing, OBE (23 de junio de 1912 en Maida Vale, Londres - 7 de junio de 1954 en Wilmslow, Cheshire) fue un matemtico, informtico terico,criptgrafo y filsofo ingls. Es considerado uno de los padres de la Ciencia de la computacin siendo el precursor de la informtica moderna. Proporcion una influyente formalizacin de los conceptos de algoritmo y computacin: la mquina de Turing. Formul su propia versin de la hoy ampliamente aceptada Tesis de Church-Turing, la cual postula que cualquier modelo computacional existente tiene las mismas capacidades algortmicas, o un subconjunto, de las que tiene una mquina de Turing. Durante laSegunda Guerra Mundial, trabaj en romper los cdigos nazis, particularmente los de la mquina Enigma; durante un tiempo fue el director de la seccin Naval Enigma del Bletchley Park. Tras la guerra dise uno de los primeros computadores electrnicos programables digitales en el Laboratorio Nacional de Fsica delReino Unido y poco tiempo despus construy otra de las primeras mquinas en la Universidad de Mnchester. Entre otras muchas cosas, tambin contribuy de forma particular e incluso provocativa al enigma de si las mquinas pueden pensar, es decir a la Inteligencia Artificial. La carrera de Turing termin sbitamente cuando fue procesado por su condicin de homosexual. No se defendi de los cargos y se le dio a escoger entre lacastracin qumica o ir a la crcel. Eligi lo primero y sufri importantes consecuencias fsicas, entre ellas la impotencia. Dos aos despus del juicio, en 1954, se suicid. Turing trabaj desde 1952 hasta que falleci en 1954 en la biologa matemtica, concretamente en la morfognesis. Public un trabajo sobre esta materia titulado "Fundamentos Qumicos de la Morfognesis" en 1952. Su principal inters era comprender la filotaxis de Fibonacci, es decir, la existencia de los nmeros de Fibonacci en las estructuras vegetales. Utiliz ecuaciones de reaccin-difusin que actualmente son cruciales en el campo de la formacin de patrones. Sus trabajos posteriores no se publicaron hasta 1992 en el libro "Obras Completas de A. M. Turing".

Kurt Gdel
Kurt Gdel ([ku t g dl]) (28 de abril de 1906 Brno (Brnn), Imperio austrohngaro (ahora Repblica Checa) 14 de enero de 1978 Princeton, New Jersey) fue unlgico, matemtico y filsofo austriacoestadounidense. Reconocido como uno de los ms importantes lgicos de todos los tiempos, el trabajo de Gdel ha tenido un impacto inmenso en el pensamiento cientfico y filosfico del siglo XX. Gdel, al igual que otros pensadores como Bertrand Russell, A. N. Whitehead y David Hilbert intent emplear la lgica y la teora de conjuntos para comprender los fundamentos de la matemtica. A Gdel se le conoce mejor por sus dos teoremas de la incompletitud, publicados en 1931 a los 25 aos de edad, un ao despus de finalizar su doctorado en la Universidad de Viena. El ms clebre de sus teoremas de la incompletitud establece que para todo sistema axiomtico recursivo auto-consistente lo suficientemente poderoso como para describir la aritmtica de los nmeros naturales (la aritmtica de Peano), existen proposiciones verdaderas sobre los naturales que no pueden demostrarse a partir de los axiomas. Para demostrar este teorema desarroll una tcnica denominada ahora como numeracin de Gdel, el cual codifica expresiones formales como nmeros naturales. Tambin demostr que la hiptesis del continuo no puede refutarse desde los axiomas aceptados de la teora de conjuntos, si dichos axiomas son consistentes. Realiz importantes contribuciones a la teora de la demostracin al esclarecer las conexiones entre la lgica clsica, la lgica intuicionista y la lgica modal. Kurt Friedrich Gdel naci el 28 de abril de 1906, en Brnn la capital de la Moravia Austrohngara (actualmente Brno, Repblica Checa) en una familia tnico-germana acomodada, compuesta por Rudolf August Gdel, hombre de negocios y administrador de una fbrica de textiles, y Marianne Gdel (nacida Handschuh), una mujer educada y culta quien permaneci cercana a Gdel durante toda su vida (tal como puede observarse en la extensa correspondencia entre ambos).1 Al momento de su nacimiento su ciudad contaba con la mayora 2 3 de poblacin de habla alemana y este era el idioma de sus padres. Gdel que hablaba muy poco elcheco se convirti automticamente en checoslovaco a la edad de 12 aos tras la cada del Imperio austrohngaro al final de la Primera Guerra Mundial. Posteriormente le cont a su bigrafo John W. Dawson que durante ese tiempo se senta como un "exilado austraco en Checoslovaquia" ("ein sterreicher im Exil in der Tschechoslowakei"). Decidi convertirse en ciudadano austraco a la edad de 23 aos. Cuando la Alemania nazi anexion Austria Gdel automticamente se convirti en ciudadano alemn a la edad de 32 aos. Despus de la Segunda Guerra Mundial, a la edad de 42 aos, se convirti en ciudadano americano. En sus ltimos aos Gdel sufri de perodos de inestabilidad y enfermedad mental. Tena temores obsesivos de ser envenenado, y no coma a menos que su esposa Adele probara la comida antes que l. A finales de 1977 Adele fue hospitalizada durante seis meses y no pudo continuar probando la comida de Gdel. En su ausencia se rehus a comer, hasta el punto de dejarse morir de hambre. Al momento de su muerte pesaba 65 libras (aproximadamente 30 kg). El certificado de defuncin en el Hospital de Princeton, el 14 de enero de 1978, dice que muri de "desnutricin e inanicin causadas por perturbaciones en la personalidad"

John McCarthy
John McCarthy (Boston, Massachusetts, 4 de septiembre de 1927 Stanford, California, 24 de octubre de 2011),2 3 tambin conocido como To John McCarthy, fue un prominente informtico que recibi el Premio Turing en 1971 por sus importantes contribuciones en el campo de la Inteligencia Artificial. De hecho, fue el responsable de introducir el trmino inteligencia artificial, concepto que acu en la Conferencia de Dartmouth en 1956. John Patrick McCarthy, mayor de dos hermanos, fue hijo de un irlands inmigrado y militante sindical, y de una juda lituana, sufragista, ambos pertenecientes al Partido Comunista de EE.UU. por los aos treinta. A causa de la salud del hijo, la familia emigr en 1944 a California. Educado en el pensamiento lgico, y muy aficionado a los libros, mientras trabajaba como carpintero, pescador, organizador sindical e inventor,4 en 1948 el joven McCarthy se licenci en Matemticas en elInstituto de Tecnologa de California, doctorndose en la misma disciplina en 1951, en la Universidad de Princeton. Tras cortas estancias en Princeton, Stanford, Dartmouth, y el MIT, pas a ser profesor a tiempo completo en la Universidad de Stanford en 1962, en la que permaneci como docente e investigador hasta su retiro a finales del 2000. Tras su jubilacin fue nombrado Profesor Emrito de dicha universidad. McCarthy invent el lenguaje de programacin Lisp y public su diseo en Comunicaciones del ACM en 1960. En 1957, John McCarthy fund, junto con Marvin Minsky, el Laboratorio de Inteligencia Artificial del MIT, y ayud a motivar la creacin del Proyecto MAC. En 1962 se march de l, y se fue a la Universidad de Stanford, en la que, en 1963, fund tambin el respectivo Laboratorio de IA, que durante muchos aos fue un rival amistoso del Proyecto MAC. En 1961 fue el primero en sugerir pblicamente (en un discurso para celebrar el centenario del MIT) que la tecnologa de tiempo compartido de las computadoras5podra conducir a un futuro en el que el poder del cmputo e incluso aplicaciones especficas podran ser vendidas como un servicio (como el agua o laelectricidad). La idea de una computadora o un sistema informtico como servicio era muy popular a fines de la dcada del 60, pero se desvaneci hacia mediados de los 70 cuando qued claro que el hardware, software y las tecnologas de telecomunicacin simplemente no estaban preparadas. Sin embargo, desde el 2000, la idea reapareci en diferentes formas. Adems del Premio Turing, McCarthy recibi otras varias distinciones, y fue miembro de distintas academias. En 2010 ingres en el llamado "IEEE Intelligent Systems Hall of Fame".

Allen Newell
Allen Newell (19 de marzo de 1927 - 19 de julio de 1992) fue un investigador en informtica y psicologa cognitiva en la corporacin RAND y en la escuela de informtica de Carnegie Mellon. Contribuy al lenguaje de procesamiento de informacin (IPL) (1956) y a dos de los primeros programas de inteligencia artificial, lamquina de lgica terica (1956) y el resolutor general de problemas (1957), con Herbert Simon. SOAR es intento de realizar la teora cognitiva unificada, titulado "No se puede jugar a 20 preguntas con la naturaleza y ganar" (1973). Existen otras arquitecturas cognitivas similares, en particular el ACT de John Anderson, que es una arquitectura unificada bastante popular, usada con xito por los cognitivistas para describir el comportamiento humano en un amplio conjunto de tareas. Recibi el Premio Turing de la ACM junto con Herbert Simon en 1975 porque en un esfuerzo cientfico de ms de veinte aos, inicialmente en colaboracin con J. C. Shaw y la corporacin RAND, y posteriormente con numerosos profesores y estudiantes en Carnegie-Mellon, han hecho contribuciones bsicas a la inteligencia artificial, la psicologa del conocimiento humano, y el procesamiento de listas. Newell fue un estudiante de doctorado en Princeton durante 1949-1950, cuando estudi matemticas. Debido a su exposicin a un nuevo campo conocido como teora de juegos y la experiencia de su estudio de las matemticas, decidi que prefera "una combinacin de investigacin experimental y terica antes que la matemtica pura" (Herbert Simon). Poco despus, dej Princeton y se incorpor a la corporacin RAND en Santa Mnica, California, donde trabaj para "un grupo que estudiaba problemas de logstica de las fuerzas areas" (Simon). Su trabajo con Joseph Kruskal llev a la creacin de dos teoras: Un modelo de teora de la organizacin, y la formulacin precisa de conceptos de teora de la organizacin. Ms tarde, Newell "volvi al diseo y ejecucin de experimentos de laboratorio sobre toma de decisiones en grupos pequeos" (Simon). Sin embargo, se encontr con un problema. Estaba insatisfecho con sus experimentos con grupos pequeos porque consideraba que los resultados no eran lo suficientemente precisos. Se reuni con sus compaeros en RAND John Kennedy, Bob Chapman, y Bill Biel en una estacin de alerta temprana de las fuerzas areas para llevar a cabo una simulacin completa "para estudiar el proceso organizativo de los grupos de trabajo", recibiendo fondos de las fuerzas areas en 1952 (Simon). La clave del experimento era examinar y analizar la interaccin entre los miembros del grupo de trabajo y sus pantallas de radar, y con un avin de intercepcin. Todo ello eran procesos de toma de decisiones y manejo de la informacin. A partir de este experimento empez a creer que el procesado de la informacin es la actividad principal de una organizacin. En septiembre de 1954, Newell se matricul en un seminario donde Oliver Selfridge "describi un programa de computador que aprenda y reconoca letras y otros patrones" (Simon). Fue entonces cuando Allen tom consciencia de que se podan crear sistemas inteligentes y con capacidad de adaptacin. Con esto en mente, Allen, despus de un par de meses, escribira "La Mquina de Ajedrez: Un ejemplo de cmo tratar una tarea compleja mediante la adaptacin", que "describa un imaginativo diseo de un programa para jugar al ajedrez de un modo humanoide" (Simon).

Herbert A. Simon
(Milwaukee, 1916 Pittsburg, 2001) Cientfico estadounidense conocido por sus aportaciones a un amplio abanico de campos, como la psicologa, las matemticas, la epistemologa, la economa y la inteligencia artificial, laureado en 1978 por la Academia Sueca con el Premio Nobel de Economa por sus trabajos sobre los procesos de eleccin y la teora de la decisin. Herbert Alexander Simon naci en la ciudad estadounidense de Milwaukee (Wisconsin) el 15 de junio de 1916. Era hijo de un ingeniero elctrico alemn que emigr a Estados Unidos en 1903, y de una estadounidense de origen europeo. Educado junto a un hermano cinco aos mayor que l en un ambiente familiar caracterizado por la pasin por la lectura y la msica (su madre era pianista), inici su formacin general en las escuelas pblicas e institutos de Milwaukee, su ciudad natal. Desde muy joven se sinti atrado por las ciencias, si bien, al contrario de lo que este trmino significa en general en la educacin bsica convencional (es decir, el estudio de materias como fsica, matemticas, qumica o biologa), e influenciado por su to materno (Harold Merkel, brillante economista fallecido a edad temprana), su inters se orient hacia las llamadas ciencias sociales. En 1965 fund, junto a Newell y Alan Perlis, el Departamento de Ciencias de la Computacin en el Carnegie Institute of Technology, por lo que a partir de 1966 su plaza como profesor de la Universidad Carnegie-Mellon pas a ser de profesor de ciencias de la computacin y psicologa, puesto desde el que ejerci un indiscutible liderazgo, en estrecha colaboracin con Newell, en el campo de la llamada inteligenc ia artificial.

Alain Colmerauer
Alain Colmerauer (nacido el 24 de enero de 1941, Carcassonne ) es [1] un francs cientfico de la computacin . Despus de terminar su doctorado en la Universidad de Grenoble, pas 1967-1970 como profesor asistente en la Universidad de Montreal, donde cre QSystems , uno de los primeros formalismos lingsticos utilizados en el desarrollo de la TAUM-METEO traduccin automtica de prototipos. Alain Colmerauer es el creador de la lgica de programacin del lenguaje Prolog . En 1984, cre la PrologIA empresa para explotar el desarrollo de Prolog III. Tambin es uno de los principales fundadores del campo de la programacin lgica de restricciones . Alain Colmerauer se traslad a la II Universidad de Aix-Marseille en Luminy en 1970 como Profesor 2me classe (Profesor Asociado). Fue ascendido en 1979 a Profesor 1re Classe (Catedrtico), y en 1988 a Profesor classe exceptionnelle (profesor de la Universidad). En 2000 fue nombrado Profesor classe exceptionnelle en la Facultad de Ciencias de Luminy II de la Universidad de AixMarseille, Instituto Universitario de Francia, convirtindose en profesor emrito en 2006. De 1993 a 1995, fue Jefe del Laboratorio de Informtica de Marsella (LIM), un laboratorio conjunto del Centro Nacional de Investigaciones Cientficas, la Universidad de Provenza y de la Universidad de la Mditerrane.