Dana Scott

Este artículo incluye una lista de referencias generales , pero permanece en gran parte sin verificar porque carece de suficientes citas en línea correspondientes . Ayude a mejorar este artículo introduciendo citas más precisas. ( Febrero de 2018 ) ( Obtenga información sobre cómo y cuándo eliminar este mensaje de plantilla )

Dana Stewart Scott
Nacido	(1932-10-11) 11 de octubre de 1932 (88 años) Berkeley, California
Educación	Universidad de California, Berkeley (BA, 1954) Universidad de Princeton (Ph.D.1958)
Conocido por	Teoría de los autómatas , semántica de los lenguajes de programación , cálculo μ modal , truco de Scott , teoría de conjuntos de Scott-Potter
Premios	Premio Leroy P. Steele (1972) Premio ACM Turing (1976) Conferencias Tarski (1989) Premio Harold Pender (1990) Premios Rolf Schock de Lógica y Filosofía (1997)
Carrera científica
Campos	Ciencias de la Computación Matemáticas Filosofía
Instituciones	Universidad de California, Berkeley Universidad de Stanford de Oxford Universidad Carnegie Mellon
Tesis	Secuencias convergentes de teorías completas  (1958)
Asesor de doctorado	Iglesia de Alonzo
Estudiantes de doctorado	Jack Copeland Michael Fourman Kenneth Kunen Angus Macintyre Peter Mosses Ketan Mulmuley Marko Petkovšek Fred S. Roberts David Turner Martin Davies

Dana Stewart de Scott (nacido el 11 de octubre de, 1932) es un lógico estadounidense que es el profesor emérito Hillman Universidad de Ciencias de la Computación , Filosofía y Lógica Matemática en la Universidad Carnegie Mellon ; ahora está jubilado y vive en Berkeley, California . Su trabajo en la teoría de autómatas le valió el premio ACM Turing en 1976, mientras que su trabajo colaborativo 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 yteoría de categorías .

Carrera temprana

Recibió su BA 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 de lógica en Berkeley a principios de los años 50 cuando aún era estudiante. Pronto se reconocieron sus habilidades inusuales y rápidamente pasó a clases de posgrado y seminarios con Tarski y se convirtió en parte del grupo que lo rodeaba, incluidos Richard Montague y yo ; así que fue en ese momento cuando nos hicimos amigos. Scott estaba claramente en línea para hacer un doctorado con Tarski, pero tuvieron una pelea por las razones explicadas en nuestra biografía. ^[1] Molesto por eso, Scott se fue a Princeton donde terminó con un doctorado bajo Alonzo Church. Pero no pasó mucho tiempo antes de que la relación entre ellos se arreglara hasta el punto de que Tarski pudiera decirle: "Espero poder llamarte mi alumno".

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, de regreso en la Universidad de California, Berkeley , y se involucró en cuestiones clásicas de lógica matemática , especialmente la teoría de conjuntos y la teoría de modelos de Tarsk .

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 cuantificadores contables ).

Lógica modal y tensa

Scott también comenzó a trabajar en la lógica modal en este período, comenzando 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 tensa y la conexión con el tratamiento del tiempo en semántica del lenguaje natural, y comenzó a colaborar con Richard Montague (Copeland 2004), a quien había conocido desde sus días como estudiante en Berkeley. Más tarde, Scott y Montague descubrieron de forma independiente una generalización importante de la semántica de Kripke para la lógica modal y tensa, 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 hizo circular la monografía incompleta entre sus colegas, introduciendo una serie de técnicas importantes en la semántica de la teoría de modelos, lo más importante presentando un refinamiento del modelo canónico que se convirtió en estándar e introdujo 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 Introducción a la lógica modal (Lemmon y Scott, 1977).

Stanford, Amsterdam y Princeton, 1963–1972

Siguiendo una observación inicial de Robert Solovay , Scott formuló el concepto de modelo con valor booleano , como Solovay y Petr Vopěnka hicieron lo mismo 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 llevó a la concesión del Premio Leroy P. Steele en 1972.

Universidad de Oxford, 1972-1981

Scott asumió un puesto como 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 del colegio.

Semántica de lenguajes de programación

Este período vio a Scott trabajando con Christopher Strachey , y los dos se las arreglaron, a pesar de las presiones administrativas, ^{[ aclaración necesaria ]} para trabajar en proporcionar una base matemática para la semántica de los lenguajes de programación, el trabajo por el que Scott es más conocido ^{[ opinión ]} . Juntos, su trabajo constituye el enfoque de Scott-Strachey a la semántica denotacional , una contribución importante y fundamental a la informática teórica . Una de las contribuciones de Scott es su formulación de la teoría del dominio., permitiendo que los programas que involucran funciones recursivas y construcciones de control de bucles reciban 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 al otorgamiento de:

• El premio Harold Pender de 1990 por su aplicación de conceptos desde la lógica y el álgebra al desarrollo de la semántica matemática de los lenguajes de programación ;
• El premio Rolf Schock 1997 en lógica y filosofía de la Real Academia Sueca de Ciencias por sus trabajos lógicos de orientación conceptual, 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 conversión lambda de Church ; y
• Premio Bolzano al Mérito en Ciencias Matemáticas 2001 de la Academia Checa de Ciencias
• Premio EATCS 2007 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 una 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 ^[2] no lo es. En 1994, fue admitido como miembro de la Association for Computing Machinery . En 2012 se convirtió en miembro de la American Mathematical Society . ^[3]

Bibliografía

• Con Michael O. Rabin , 1959. Autómatas finitos y su problema de decisión . doi : 10.1147 / rd.32.0114
• 1967. Una prueba de la independencia de la hipótesis del continuo . Teoría de sistemas matemáticos 1: 89-111.
• 1970. 'Asesoramiento en lógica modal'. En Philosophical Problems in Logic , ed. K. Lambert, páginas 143-173.
• Con John Lemmon , 1977. Introducción a la lógica modal . Oxford: Blackwell.
• Gierz, G .; Hofmann, KH; Keimel, K .; Lawson, JD; Mislove, MW; Scott, DS (2003). Celosías y dominios continuos . Enciclopedia de Matemáticas y sus Aplicaciones. 93 . Prensa de la Universidad de Cambridge. ISBN 978-0521803380.

Referencias

1. Feferman y Feferman 2004.
2. Donde aquí Dana Scott cuenta la categoría de dominios como la categoría cuyos objetos apuntan dirigidos- órdenes parciales completos (DCPOs), y cuyos morfismos son lasfuncionesestrictas, Scott-continuas
3. Lista de miembros de la American Mathematical Society , consultado el 14 de julio de 2013.

Lectura adicional

• Blackburn, de Rijke y Venema (2001). Lógica modal . Prensa de la Universidad de Cambridge .
• Jack Copeland (2004). Arthur Prior . En la Enciclopedia de Filosofía de Stanford .
• Anita Burdman Feferman y Solomon Feferman (2004). Alfred Tarski: vida y lógica . Cambridge University Press, ISBN 0-521-80240-7 , ISBN 978-0-521-80240-6 .  
• Solomon Feferman (2005). La influencia de Tarski en la informática . Proc. LICS'05. Prensa IEEE .
• Joseph E. Stoy (1977). Semántica denotacional: el enfoque de Scott-Strachey para la teoría del lenguaje de programación . MIT Press . ISBN 0-262-19147-4 

Enlaces externos

• Página web oficial
• DOMINIO 2002 Taller sobre teoría de dominios - celebrado en honor al cumpleaños número 70 de Scott.
• Dana Scott en el Proyecto de genealogía matemática
• Lista de publicaciones de Microsoft Academic

Oficinas académicas
Precedido por Jerzy Łoś	Presidente del DLMPST / IUHPST 1983–1987	Sucedido por Laurence Jonathan Cohen