churchsche Hypothese
['tʃəːtʃ-], die von A. Church 1936 aufgestellte Annahme, dass jede berechenbare Funktion rekursiv sei. Die churchsche Hypothese versucht die intuitive Berechenbarkeit als Rekursivität zu präzisieren und ist implizit auch in A. M. Turings Begriff einer allgemeinen Rechenmaschine enthalten (Turing-Maschine). In der mathematischen Praxis wird die churchsche Hypothese gegenwärtig akzeptiert, da für ihre Plausibilität v. a. spricht, dass sich bisher alle anderen, von zum Teil stark abweichenden Ausgangspunkten her unternommenen Präzisierungsversuche des Berechenbarkeitsbegriffs als gleichwertig erwiesen haben.