Dana scott

Dana Stewart Scott (nacida el 11 de octubre de 1932) es una lógica estadounidense que es profesora emérita de Ciencias de la Computación, Filosofía y Lógica Matemática de la Universidad Hillman en la Universidad Carnegie Mellon; ahora está jubilado y vive en Berkeley, California. Su trabajo sobre la teoría de los autómatas le valió el Premio Turing en 1976, mientras que su trabajo en colaboración con Christopher Strachey en la década de 1970 sentó las bases de los enfoques modernos de la semántica de los lenguajes de programación. Ha trabajado también en lógica modal, topología y teoría de categorías.

Carrera temprana

Recibió su B.A. en Matemáticas de la Universidad de California, Berkeley, en 1954. Escribió su Ph.D. tesis sobre Secuencias convergentes de teorías completas bajo la supervisión de Alonzo Church mientras estaba en Princeton, y defendió su tesis en 1958. Solomon Feferman (2005) escribe sobre este período:

Scott comenzó sus estudios en lógica en Berkeley a principios de los años 50, mientras que todavía un pregrado. Sus habilidades inusuales pronto fueron reconocidas y rápidamente se trasladó a clases de posgrado y seminarios con Tarski y se convirtió en parte del grupo que lo rodeó, incluyendo a mí y Richard Montague; así fue en ese momento que nos convertimos en amigos. Scott estaba claramente en línea para hacer un doctorado con Tarski, pero tenían una caída por razones explicadas en nuestra biografía. En primer lugar, Scott se fue a Princeton donde terminó con un Ph. D. bajo la Iglesia de Alonzo. Pero no fue mucho antes de que la relación entre ellos fue arreglada hasta el punto de que Tarski podría decirle, "Espero que pueda llamarte mi estudiante".

Después de completar su Ph.D. estudios, se trasladó a la Universidad de Chicago, donde trabajó como instructor hasta 1960. En 1959, publicó un artículo conjunto con Michael O. Rabin, un colega de Princeton, titulado Autómatas finitos y su problema de decisión (Scott y Rabin 1959) que introdujo la idea de máquinas no deterministas en la teoría de los autómatas. Este trabajo condujo a la concesión conjunta del Premio Turing a los dos, por la introducción de este concepto fundamental de la teoría de la complejidad computacional.

Universidad de California, Berkeley, 1960–1963

Scott asumió un puesto como profesor asistente de matemáticas en la Universidad de California, Berkeley, y se involucró en cuestiones clásicas de lógica matemática, especialmente en la teoría de conjuntos y la teoría del modelo tarskiano. Demostró que el axioma de constructibilidad es incompatible con la existencia de un cardinal medible, resultado considerado seminal en la evolución de la Teoría de Conjuntos.

Durante este período, comenzó a supervisar Ph.D. estudiantes como James Halpern (Contribuciones al estudio de la independencia del axioma de elección) y Edgar Lopez-Escobar (Fórmulas infinitamente largas con grados cuantificables contables).

Lógica modal y temporal

Scott también comenzó a trabajar en la lógica modal en este período, iniciando una colaboración con John Lemmon, quien se mudó a Claremont, California, en 1963. Scott estaba especialmente interesado en el enfoque de Arthur Prior sobre la lógica temporal y la conexión con el tratamiento del tiempo en la semántica del lenguaje natural, y comenzó a colaborar con Richard Montague (Copeland 2004), a quien conocía desde sus días como estudiante universitario en Berkeley. Más tarde, Scott y Montague descubrieron de forma independiente una importante generalización de la semántica de Kripke para la lógica modal y temporal, llamada semántica de Scott-Montague (Scott 1970).

John Lemmon y Scott comenzaron a trabajar en un libro de texto de lógica modal que fue interrumpido por la muerte de Lemmon en 1966. Scott distribuyó la monografía incompleta entre sus colegas, introduciendo una serie de técnicas importantes en la semántica de la teoría de modelos, la mayoría lo que es más importante, presenta un refinamiento del modelo canónico que se convirtió en estándar e introduce la técnica de construcción de modelos a través de filtraciones, los cuales son conceptos centrales en la semántica moderna de Kripke (Blackburn, de Rijke y Venema, 2001). Scott finalmente publicó el trabajo como Una introducción a la lógica modal (Lemmon & Scott, 1977).

Stanford, Ámsterdam y Princeton, 1963–1972

Después de una observación inicial de Robert Solovay, Scott formuló el concepto de modelo con valores booleanos, al igual que Solovay y Petr Vopěnka lo hicieron aproximadamente al mismo tiempo. En 1967, Scott publicó un artículo, A Proof of the Independence of the Continuum Hypothesis, en el que utilizó modelos con valores booleanos para proporcionar un análisis alternativo de la independencia de la hipótesis del continuo al proporcionado por Paul. Cohen. Este trabajo dio lugar a la concesión del Premio Leroy P. Steele en 1972.

Universidad de Oxford, 1972-1981

Scott asumió el cargo de profesor de lógica matemática en la facultad de filosofía de la Universidad de Oxford en 1972. Fue miembro del Merton College mientras estaba en Oxford y ahora es miembro honorario de la universidad.

Semántica de lenguajes de programación

Este período vio a Scott trabajando con Christopher Strachey, y los dos logró, a pesar de las presiones administrativas, trabajar para proporcionar una base matemática para la semántica de los lenguajes de programación, el trabajo por el cual Scott es más conocido. Juntos, su trabajo constituye el enfoque de Scott-Strachey a la semántica denotacional, una contribución importante y seminal a la informática teórica. Una de las contribuciones de Scott es su formulación de la teoría del dominio, que permite que los programas que involucran funciones recursivas y construcciones de control de bucles reciban una semántica denotacional. Además, proporcionó una base para la comprensión de la información infinita y continua a través de la teoría del dominio y su teoría de los sistemas de información.

El trabajo de Scott de este período condujo a la concesión de:

• The 1990 Harold Pender Premio por su aplicación de conceptos de lógica y álgebra al desarrollo de semántica matemática de lenguajes de programación;
• The 1997 Rolf Schock Premio en lógica y filosofía de la Real Academia Sueca de Ciencias para sus obras lógicas conceptualmente orientadas, especialmente la creación de la teoría del dominio, que ha hecho posible extender el paradigma semántico de Tarski a los lenguajes de programación, así como construir modelos de la lógica combinatoria de Curry y el cálculo de la conversión de la Iglesia; y
• Premio Bolzano al Mérito en las Ciencias Matemáticas 2001 por la Academia Checa de Ciencias
• El EATCS 2007 Premio por su contribución a la informática teórica.

Universidad Carnegie Mellon, 1981–2003

En la Universidad Carnegie Mellon, Scott propuso la teoría de los espacios equilógicos como teoría sucesora de la teoría del dominio; entre sus muchas ventajas, la categoría de espacios equilógicos es una categoría cerrada cartesiana, mientras que la categoría de dominios no lo es. En 1994, fue incluido como miembro de la Association for Computing Machinery. En 2012 se convirtió en miembro de la American Mathematical Society.