 Church, Alonzo |  computability and complexity |  computation: in physical systems |  computer science, philosophy of |  computing: modern history of |  Gödel, Kurt: incompleteness theorems |  mind: computational theory of |  Turing, Alan |  Turing machines 