Alan Turing and the Other Theory of Computation
Department: Computer Science
Quarter: Spring 2019
Seminar Date: Jan 22, 2019
Speaker Name:
Lenore Blum
Lenore Blum
Organization:
Carnegie Mellon University
Carnegie Mellon University
Start Time:
End Time:
Speaker Website:
Bio:
Lenore Blum (PhD, MIT) is Distinguished Career Professor of Computer Science at Carnegie Mellon University. Her research has focused on inter-connections between mathematics and logic (differential …
Lenore Blum (PhD, MIT) is Distinguished Career Professor of Computer Science at Carnegie Mellon University. Her research has focused on inter-connections between mathematics and logic (differential …
Photo Link:
Summary:
Most logicians and theoretical computer scientists are familiar with Alan Turing's 1936 seminal paper setting the stage for the foundational (discrete) theory of computation. Most however remain unaw…
Most logicians and theoretical computer scientists are familiar with Alan Turing's 1936 seminal paper setting the stage for the foundational (discrete) theory of computation. Most however remain unaw…
Notes:
Host:
Vijay Vazirani
Vijay Vazirani
Host Notes:
Alt Text:
Video: