Home›Articles›The 1936 Proof That Gave Computing Its Founding ThesisArticleThe 1936 Proof That Gave Computing Its Founding ThesisArticlesConnectionsSourcesComments (0)Reader Challenges (0)ConnectionsArticle OnAlonzo Church, Pioneers Well-attested SourcesWikipedia: Alonzo Churchtier 2Wikimedia FoundationMathematical Work sectionQuote, Mathematical Work sectionThe lambda calculus emerged in his 1936 paper showing the unsolvability of the Entscheidungsproblem.View the SourceAtlas Article Vocabularytier 1AtlasComments (0)No comments yet. Be the first to share a thought.Sign in to join the discussion.Reader Challenges (0)No disputes yet. Spotted an error or a better source? Open the first one.Sign in to dispute this or suggest a correction.