Dana Scott - Early Career

Early Career

He received his BA in Mathematics from the University of California, Berkeley, in 1954. He wrote his Ph.D. thesis on Convergent Sequences of Complete Theories under the supervision of Alonzo Church while at Princeton, and defended his thesis in 1958. Solomon Feferman (2005) writes of this period:

Scott began his studies in logic at Berkeley in the early 50s while still an undergraduate. His unusual abilities were soon recognized and he quickly moved on to graduate classes and seminars with Tarski and became part of the group that surrounded him, including me and Richard Montague; so it was at that time that we became friends. Scott was clearly in line to do a Ph. D. with Tarski, but they had a falling out for reasons explained in our biography. Upset by that, Scott left for Princeton where he finished with a Ph. D. under Alonzo Church. But it was not long before the relationship between them was mended to the point that Tarski could say to him, “I hope I can call you my student.

After completing his Ph.D. studies, he moved to the University of Chicago, working as an instructor there until 1960. In 1959, he published a joint paper with Michael O. Rabin, a colleague from Princeton, entitled Finite Automata and Their Decision Problem, which introduced the idea of nondeterministic machines to automata theory. This work led to the joint bestowal of the Turing Award on the two, for the introduction of this fundamental concept of computational complexity theory.

Read more about this topic:  Dana Scott

Famous quotes containing the words early and/or career:

    A two-year-old can be taught to curb his aggressions completely if the parents employ strong enough methods, but the achievement of such control at an early age may be bought at a price which few parents today would be willing to pay. The slow education for control demands much more parental time and patience at the beginning, but the child who learns control in this way will be the child who acquires healthy self-discipline later.
    Selma H. Fraiberg (20th century)

    What exacerbates the strain in the working class is the absence of money to pay for services they need, economic insecurity, poor daycare, and lack of dignity and boredom in each partner’s job. What exacerbates it in upper-middle class is the instability of paid help and the enormous demands of the career system in which both partners become willing believers. But the tug between traditional and egalitarian models of marriage runs from top to bottom of the class ladder.
    Arlie Hochschild (20th century)