Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence
on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s
1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function
theory and the lambda calculus at the hands of Church, Kleene, and Rosser. Church and his students studied Gödel 1931, and
Gödel taught a seminar at Princeton in 1934. Seen in the historical context, Gödel was an important catalyst for the emergence
of computability theory in the mid 1930s.