 chance: versus randomness |  Church, Alonzo |  Church-Turing Thesis |  computability and complexity |  computational complexity theory |  computer science, philosophy of |  Gödel, Kurt |  Gödel, Kurt: incompleteness theorems |  Hilbert, David: program in the foundations of mathematics |  lambda calculus, the |  learning theory, formal |  logic: combinatory |  paradoxes: and contemporary logic |  proof theory |  -->reverse mathematics--> |  self-reference |  Turing, Alan |  Turing machines 