Turing Machine
Doga Ulas Budak
Abstract: A "Turing machine" is an abstact concept that Alan Turing invented in 1936, in order to capture the informal notion of an effective procedure with a formal definition and to solve the Hilbert's Entscheidungsproblem (decision problem). In this lecture, after giving the definition of a Turing machine we first provide certain basic examples of Turingcomputable functions. We'll also give an example of a problem, more specifically the socalled Halting Problem, which no Turing machine can decide.
Date: Friday, December 11, 2015
Time: 3pm
Room: NH 103
