b'\n_START_ARTICLE_\nDana Scott\n_START_SECTION_\nInicios de su Carrera\n_START_PARAGRAPH_\nSe licenci\xc3\xb3 en Matem\xc3\xa1ticas por la Universidad de California, Berkeley en 1954. Su tesis doctoral, titulada Convergent Sequences of Complete Theories (del ingl\xc3\xa9s, Secuencias Convergentes de Teor\xc3\xadas Completas) bajo la supervisi\xc3\xb3n de Alonzo Church, fue defendida en 1958 en la Universidad de Princeton. Tras completar su estudios de doctorado, se mud\xc3\xb3 a la Universidad de Chicago, impartiendo clases hasta 1960._NEWLINE_En 1959 public\xc3\xb3 un art\xc3\xadculo junto con Michael O. Rabin, un colega de Princeton, titulado Finite Automata and Their Decisi\xc3\xb3n Problem (Aut\xc3\xb3matas Finitos y el Problema de su Decidibilidad), que introdujo la idea de las m\xc3\xa1quinas no determin\xc3\xadsticas en el campo de la teor\xc3\xada de aut\xc3\xb3matas. Este trabajo les proporcion\xc3\xb3 el Premio Turing, por haber presentado un concepto tan fundamental en complejidad computacional.\n_START_SECTION_\nUniversidad de California, Berkeley, 1960\xe2\x80\x931963\n_START_PARAGRAPH_\nScott fue contratado como profesor asistente de matem\xc3\xa1ticas en la Universidad de California en Berkeley, la universidad de Alfred Tarski, y se dedic\xc3\xb3 a trabajar en problemas cl\xc3\xa1sicos de l\xc3\xb3gica matem\xc3\xa1tica, especialmente teor\xc3\xada de conjuntos y la teor\xc3\xada de modelos de Tarski._NEWLINE_Durante este periodo empez\xc3\xb3 a supervisar tesis doctorales de estudiantes como James Halpern (Contributions to the Study of the Independence of the Axiom of Choice) y Edgar L\xc3\xb3pez-Escobar (Infinitely Long Formulas with Countable Quantifier Degrees). El trabajo de Scott como director de tesis fue una importante fuente de inspiraci\xc3\xb3n intelectual.\n_START_SECTION_\nL\xc3\xb3gica modal\n_START_PARAGRAPH_\nScott tambi\xc3\xa9n comenz\xc3\xb3 a trabajar en l\xc3\xb3gica modal durante este periodo, iniciando una colaboraci\xc3\xb3n con John Lemmon, quien se mud\xc3\xb3 a Claremont, California en 1963. Scott estaba especialmente interesado en l\xc3\xb3gica temporal y la conexi\xc3\xb3n con el tratamiento del tiempo en la sem\xc3\xa1ntica de lenguajes naturales, y empez\xc3\xb3 a colaborar con Richard Montague (Copeland 2004). M\xc3\xa1s tarde, Scott y Montague descubrieron independientemente una importante generalizaci\xc3\xb3n de la sem\xc3\xa1ntica de Kripke para la l\xc3\xb3gica modal y tensa, llamada sem\xc3\xa1ntica de Scott-Montague (Scott 1970)._NEWLINE_John Lemmon y Scott empezaron a trabajar en un libro de texto sobre l\xc3\xb3gica modal, interrumpi\xc3\xa9ndose su desarrollo por la muerte de Lemmon en 1966. Scott pase\xc3\xb3 el manuscrito incompleto entre sus colegas, intruduciendo un n\xc3\xbamero de importantes t\xc3\xa9cnicas en la sem\xc3\xa1ntica de teor\xc3\xada de models. Pero m\xc3\xa1s rese\xc3\xb1ablemente, presentando un perfeccionamiento del modelo can\xc3\xb3nico que se hizo est\xc3\xa1ndar, e introduciendo la t\xc3\xa9cnica de construir modelos mediante filtraciones, siendo ambos conceptos centrales en la moderna sem\xc3\xa1ntica de Kripke (Blackburn, de Rijke, and Venema, 2001). Scott finalmente publicar\xc3\xada el trabajo con el t\xc3\xadtulo de An Introduction to Modal Logic (Lemmon and Scott, 1977).\n_START_SECTION_\nStanford, Amsterdam y Princeton, 1963\xe2\x80\x931972\n_START_PARAGRAPH_\nContinuando una observaci\xc3\xb3n inicial de Robert Solovay, Scott formul\xc3\xb3 el concepto de modelo de valor booleano (Solovay and Petr Vop\xc4\x9bnka hicieron lo mismo en la misma \xc3\xa9poca). En 1967 Scott public\xc3\xb3 un art\xc3\xadculo, A Proof of the Independence of the Continuum Hypothesis, en el que usaba modelos de valores booleanos como an\xc3\xa1lisis de la independencia de la hip\xc3\xb3tesis de continuo alternativo al de Paul Cohen. Este trabajo le hizo ganar el Premio Leroy P. Steele de 1972.\n_START_SECTION_\nOxford University, 1972\xe2\x80\x931981\n_START_PARAGRAPH_\nDana Scott acept\xc3\xb3 un empleo como profesor de l\xc3\xb3gica matem\xc3\xa1tica en la Facultad de Filosof\xc3\xada de la Universidad de Oxford en 1972.\n_START_SECTION_\nUniversidad Carnegie Mellon 1981\xe2\x80\x932003\n_START_PARAGRAPH_\nEn la Universidad Carnegie Mellon, Scott propuso la teor\xc3\xada de espacios equil\xc3\xb3gicos como sucesora de la teor\xc3\xada de dominios; Entre sus muchas ventajas, la categor\xc3\xada de espacios equil\xc3\xb3gicos es un conjunto cartesianamente cerrado, mientras que la categor\xc3\xada de dominios no lo es.'