churchsche These

die von A. Church 1936 formulierte Aussage, dass jede im intuitiven Sinne berechenbare Funktion durch eine Turing-Maschine berechenbar ist. Die churchsche These ist kein mathematischer Satz, und sie kann auch nicht exakt bewiesen werden, da der Begriff »im intuitiven Sinne« nicht näher präzisiert ist und auch nicht präzisiert werden kann. Da