Scott, dana
| dana scott | |
|---|---|
| dana stewart scott | |
| Fecha de nacimiento | 11 de octubre de 1932 (90 años) |
| Lugar de nacimiento | |
| País | |
| Esfera científica |
Topología , Lógica matemática , Programación |
| Lugar de trabajo | |
| alma mater | |
| Titulo academico | Doctorado ( 1958 ) |
| consejero científico | Iglesia de Alonso |
| Conocido como | Topología de Scott |
| Premios y premios |
Premio Steele (1972) Premio Turing (1976) Premio Harold Pender (1990) Premio Rolf Schock (1997) |
| Sitio web | cs.cmu.edu/~scott |
| Archivos multimedia en Wikimedia Commons | |
Dana Stewart Scott ( nacido el 11 de octubre de 1932 ) es un matemático estadounidense conocido por su trabajo en lógica matemática e informática .
La investigación de Scott se centra en la teoría de modelos , la teoría de autómatas , la lógica modal e intuicionista , las matemáticas constructivas y la relación entre la lógica y la teoría de categorías . Los intereses filosóficos se encuentran en los fundamentos de la lógica , la filosofía de las matemáticas y el análisis semántico de los lenguajes naturales .
Hizo una importante contribución al desarrollo de la informática, habiendo desarrollado una teoría matemática de la informática [1] . Desarrolló un modelo de cálculo λ sin tipo [2] , para el cual se introdujo una topología especial (más tarde nombrada en su honor), primero en redes completas , y luego generalizada para completar conjuntos parcialmente ordenados [3] [4] . En el marco de este modelo, desarrolló la teoría y los modelos de computación, desarrolló los principios de la semántica denotacional de los lenguajes de programación y profundizó en el concepto de computabilidad .
A partir de 2012, trabaja y vive en Berkeley, California .
Premios
- Recibió el Premio Steele en 1972 por su trabajo, publicado en 1967, sobre una prueba alternativa de la hipótesis de la independencia del continuo a la de Paul Cohen .
- En 1976, junto con Michael Rabin , ganó el Premio Turing por su artículo " Finite Automata ", que proponía la idea de un autómata no determinista, un concepto que más tarde demostró ser de un valor excepcional [5] .
- En 1978 recibió una beca Guggenheim [6] .
- En 1990 fue galardonado con el Premio Harold Pender como innovador en la aplicación de conceptos de la lógica y el álgebra al desarrollo de la semántica matemática de los lenguajes de programación [7] .
- En 1997, en la nominación "lógica y filosofía", recibió el Premio Rolf Schock por trabajos lógicos orientados conceptualmente, especialmente en la creación de la teoría de áreas , que permitió aplicar el paradigma semántico de Tarski a lenguajes de programación, así como para construir modelos de lógica combinatoria Curry y el cálculo lambda de Church [8] .
- En 2001, recibió el Premio Bolzano de la Academia Checa de Ciencias por méritos en el campo de las matemáticas.
- En 2007 recibió un premio de la Asociación Europea de Ciencias de la Computación Teórica en reconocimiento a su contribución a la informática teórica y una carrera científica productiva [9] [10] .
- En 2009, el Instituto de Matemáticas de la SB RAS otorgó al científico una medalla de oro por su contribución a las matemáticas [11] .
- Doctorado Honorario de la Universidad de St. Andrews (2014).
Obras principales
- Scott DS Consejos sobre lógica modal. — Problemas filosóficos en lógica. Algunos desarrollos recientes.-- Lambert K. (ed.), Dordrecht; Holanda: Reidel, 1970.
- Scott DS, Strachey C. Hacia una semántica matemática para lenguajes informáticos. — En: Proc. Síntoma on Computers and Automata, Polytechnic Institute of Brooklyn, 21, 1971. - pp.~19-46.
- Scott D.S. Lógica y lenguajes de programación. —Com. Asoc. para Comp. Mach. 20, 1977. - págs. 634–641.
- Scott DS Teorías relacionadas con el cálculo lambda. — Hindley J., Seldin J. (eds.) Para HBCurry: Ensayos sobre lógica combinatoria, cálculo lambda y formalismo.-- NY & L.: Academic Press, 1980, pp.~403-450.
Notas
- ↑ Scott D.S. Esquema de la teoría matemática de la computación. En: Proc. 4ª Conferencia Anual de Princeton. on Information Sciences and Systems, Universidad de Princeton, 1970. - pp.~169-176.
- ↑ Scott DS Modelos teóricos de celosía para varios cálculos sin tipos. — En: Proc. 4to Int. Congreso de Lógica, Metodología y Filosofía de la Ciencia, Bucarest, 1972.
- ↑ Scott DS The lattice of flow diagrams.-- Lecture Notes in Mathematics, 188, Symposium on Semantics of Algorithmic Languages.-- Berlín, Heidelberg, Nueva York: Springer-Verlag, 1971, pp.~311-372.
- ↑ Barendregt, Henk . Cálculo lambda. Su sintaxis y semántica = El Cálculo Lambda. Su sintaxis y semántica . - M .: Mir , 1985. - S. 24. - 606 p. - 4800 copias.
- ↑ Ganadores del premio AM Turing por Dana Stewart Scott Archivado el 19 de septiembre de 2017 en Wayback Machine // ACM
- ↑ Dana S. Scott . Fundación John Simón Guggenheim . gf.org. Consultado el 18 de septiembre de 2019. Archivado desde el original el 30 de septiembre de 2020.
- ↑ The Harold Pender Award (inglés) (enlace no disponible) . Consultado el 10 de noviembre de 2015. Archivado desde el original el 22 de febrero de 2012.
- ↑ Premios Rolf Shock . Consultado el 10 de noviembre de 2015. Archivado desde el original el 1 de febrero de 2016.
- ↑ Asociación Europea de Informática Teórica . Consultado el 10 de noviembre de 2015. Archivado desde el original el 26 de enero de 2011.
- ↑ Premio EATCS (lunes 9) . Consultado el 11 de noviembre de 2015. Archivado desde el original el 4 de marzo de 2016.
- ↑ Universidad Carnegie Mellon .
Véase también
Enlaces
- Acerca de Dana Stewart Scott en la Enciclopedia Británica
- Byron Spice. Dana Scott de Carnegie Mellon recibió la medalla de oro del Instituto Sobolev . Universidad Carnegie Mellon (13 de abril de 2009).
| Ganadores del Premio Turing | |
|---|---|
| |
 sitios temáticos | ||||
|---|---|---|---|---|
| diccionarios y enciclopedias | ||||
| ||||