Dana Scott, nacido en 1932, es un lógico y científico de la computación estadounidense cuya investigación estableció los fundamentos matemáticos para los lenguajes de programación. Su trabajo en semántica formal y teoría de autómatas transformó la forma en que las máquinas interpretan instrucciones complejas, cerrando la brecha entre la lógica matemática abstracta y la aplicación práctica de la programación informática dentro del panorama de la ingeniería del siglo XX.
Investigación temprana y teoría de autómatas
Scott comenzó su trayectoria académica en la Universidad de California, Berkeley, y en la Universidad de Princeton, donde obtuvo su Doctorado en Filosofía. Durante una pasantía en IBM en 1957, colaboró con Michael O. Rabin. Su investigación conjunta introdujo el concepto de autómatas finitos no deterministas, un avance en la teoría de autómatas que les valió el Premio Turing en 1976.
Contribuciones a la lógica y la teoría de conjuntos
Durante su permanencia en la Universidad de Chicago y más tarde en Berkeley, Scott se centró en la lógica matemática y la teoría de conjuntos. Demostró la incompatibilidad del axioma de constructibilidad con los cardinales medibles. Su publicación de 1967 sobre la independencia de la hipótesis del continuo utilizó modelos de valor booleano, investigación que resultó en el Premio Leroy P. Steele de 1972.
Semántica denotacional y teoría de dominios
Mientras se desempeñaba como profesor en la Universidad de Oxford de 1972 a 1981, Scott colaboró con Christopher Strachey para desarrollar la semántica denotacional. Formuló la teoría de dominios para proporcionar una base matemática para las funciones recursivas y las construcciones de control. Este trabajo, que extendió los paradigmas semánticos de Tarski a los lenguajes de programación, fue reconocido además a través del Premio Rolf Schock de 1997.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Nombramientos académicos y afiliaciones
Scott ocupó cargos docentes en numerosas instituciones, incluidas la Universidad de Stanford, la Universidad de Ámsterdam, la Universidad de Princeton y la Universidad Johannes Kepler de Linz. Concluyó su carrera académica formal en la Universidad Carnegie Mellon, donde sirvió desde 1981 hasta 2003. Mantiene membresías en organizaciones prestigiosas como la Academia Británica, la Academia Nacional de Ciencias y la Sociedad Matemática Estadounidense.
Datos rápidos
- Nacimiento: 1932, Berkeley - Educación: Universidad de California, Berkeley; Universidad de Princeton - Campo principal: Lógica matemática y ciencia de la computación - Ganador del Premio Turing: 1976 - Teoría notable: Teoría de dominios - Colaborador clave: Michael O. Rabin - Premio notable: Premio Rolf Schock (1997) - Carrera académica: Universidad Carnegie Mellon (1981-2003)
Preguntas frecuentes
### ¿Por qué es más conocido Dana Scott?
Es mejor conocido por crear la teoría de dominios y establecer los fundamentos matemáticos para la semántica de los lenguajes de programación, a menudo trabajando en colaboración con Christopher Strachey.
### ¿Por qué investigación recibió Scott el Premio Turing?
Recibió el Premio Turing de 1976 junto con Michael O. Rabin por su artículo conjunto de 1959 que introdujo el concepto de autómatas finitos no deterministas.
.jpg)