Churchsche These

==> Lambda-Kalkül

<=> Turing-Maschine

<=> Berechenbarkeit