#lambda calculus #computability theory #undecidability #alonzo church #mathematical logic #theoretical foundations