Erklären Sie das Konzept der Turing-Vollständigkeit formell und diskutieren Sie, warum der Lambda-Kalkül und die Turing-Maschine äquivalente Rechenmodelle darstellen. Gehen Sie detailliert auf die Church-Turing-These ein und erörtern Sie deren Implikationen für die Grenzen algorithmischer Berechenbarkeit.