Я читав, що спочатку Церква запропонувала обчислення як частину своїх пастулів логіки (що є чистим ). Але Клійн виявив свою "систему" непослідовною, після чого Церква витягла відповідні речі для своєї роботи про "ефективну обчислюваність" і відмовилася від своєї попередньої роботи з логіки.
Отже, наскільки я розумію, система і її позначення сформувалися як частина чогось спільного з логікою. Чого Церква спочатку намагалася добитися від того, що він відкинув згодом? Які були початкові причини створення λ -калькуляції?