Prof. Michael Sean Mahoney's Lecture

Michael Mahoney (Program in History of Science, Princeton University)

October 13 (Wed) 16:00-17:00

理学部数学教室大会議室

The Structures of Computation

Abstract

Between the mid-1950s and the ealy 1970s, the agendas of a variety of disciplines converged on the new electric digital computer and gave rise to theoretical computer science as a mathematical discipline. Automata and formal languages, computational complexity, and mathematical semantics emerged from shifting collaborations among mathematical lgicians, electrical engineers, linguists, mathematicians, and computer programmers, who created a new field while pursuing their own. As the application of abstract modern algebra to our dominant technology, theoretical computer science has given new form to the continuing question of the relation between mathematics and the world it purports to model.

---