✦ LIBER ✦

Computability and λ-Definabilityby A. M. Turing

✍ Scribed by Review by: Rozsa Peter

Book ID: 124940428
Publisher: Association for Symbolic Logic
Year: 1938
Tongue: English
Weight: 260 KB
Volume: 3
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2267625

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Computability and λ-Definability

✍ A. M. Turing 📂 Article 📅 1937 🏛 Association for Symbolic Logic 🌐 English ⚖ 941 KB

The Annotated Turing: A Guided Tour Thro

The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine

📂 Standards 📅 2008 🏛 Wiley 🌐 Russian ⚖ 1 MB

Don't let the title fool you: This isn't simply Alan Turing's groundbreaking paper "On Computable Numbers, with an Application to the Entscheidungsproblem" with a handful of footnotes thrown in. While the paper is contained here in its entirety, there is, on average, about a paragraph of explanation

Solvable and Unsolvable Problemsby A. M.

Solvable and Unsolvable Problemsby A. M. Turing

✍ Review by: S. C. Kleen 📂 Article 📅 1955 🏛 Association for Symbolic Logic 🌐 English ⚖ 200 KB

Quantum Computability

✍ Adleman, Leonard M.; DeMarrais, Jonathan; Huang, Ming-Deh A. 📂 Article 📅 1997 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 350 KB

The p-Function in λ-K-Conversion

✍ A. M. Turing 📂 Article 📅 1937 🏛 Association for Symbolic Logic 🌐 English ⚖ 617 KB

A Computable Universe (Understanding and

A Computable Universe (Understanding and Exploring Nature as Computation) || Universality, Turing Incompleteness and Observers

✍ Zenil, Hector 📂 Article 📅 2012 🏛 WORLD SCIENTIFIC ⚖ 508 KB