Ich habe gelesen, dass Church anfangs den Kalkül als Teil seines Postulate of Logic- Papiers vorschlug (was eine dichte Lektüre ist). Doch Kleene bewies, dass sein "System" inkonsistent war. Danach extrahierte Church relevante Dinge für seine Arbeit über "effektive Berechenbarkeit" und gab seine frühere Arbeit an der Logik auf.
So wie ich es verstehe, bildeten sich das System und seine Notationen als Teil von etwas , das mit Logik zu tun hatte. Was wollte Church ursprünglich erreichen, von dem er sich später verabschiedete? Was waren die ersten Gründe für die Entstehung von -calculus?λ