Алонзо Черч: Разлика помеѓу преработките

Ламбда калкулус се појавил во неговата позната работа од [[1936]] година кој покажал постоење на „пробле на неодлучивост“. Овај резултат претходел на [[Алан Тјуринг]] познатата работа за [[халтинг проблем|проблему на застанување]] кој истотакаисто така демонстрирал постоење проблем кој не може да се реши со механички средства. Черч и Тјуринг тогаш покажале дека ламбда калкулус и [[Тјуринговата машина]] се користени кај Тјуринговиот проблем за застанување на еквивалентното за да стане можност, а потоа прикажале разни алтернативни „механички процеси за пресметување“. Од ова следи [[Черч-Тјурингова теза]].