Alonzo Church (geb. 1903)

Der Logiker und Mathematiker Alonzo Church befasste sich vor allem mit Entscheidungsfragen im Prädikatenkalkül und ist Begründer des λ-Kalküls.

Von ihm stammen die nach ihm benannten Sätze über die Nichtentscheidbarkeit der allgemeingültigen Ausdrücke des Prädikatenkalküls der ersten Stufe und die Nichtaxiomatisierbarkeit des Prädikatenkalküls der zweiten Stufe.

Church formulierte im Jahre 1936 die nach ihm benannte These, dass die partiell rekursiven Funktionen eine adäquate Präzisierung der intuitiven Berechenbarkeit sind.

Online-Texte