Alonzo church:his life, his work and some of his miracles

DOI10.1080/01445349708837290zbMath0899.01024OpenAlexW1966256947WikidataQ58351602 ScholiaQ58351602MaRDI QIDQ4391354

María Manzano

Publication date: 15 November 1998

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445349708837290

zbMATH Keywords

decision problemlambda calculushistory of logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Related Items (4)

Henkin on Completeness ⋮ Diagonalisation and Church's Thesis: Kleene's Homework ⋮ Visions of Henkin ⋮ Completeness: from Gödel to Henkin

Uses Software

• ETPS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Handbook of philosophical logic. Vol. I: Elements of classical logic
• The lambda calculus, its syntax and semantics
• Classical recursion theory. The theory of functions and sets of natural numbers
• \(\lambda\)-definability and recursiveness
• Why Gödel didn't have church's thesis
• A Theory of Positive Integers in Formal Logic. Part I
• The Mathematical Work of S.C.Kleene
• American Logic in the 1920s
• An Unsolvable Problem of Elementary Number Theory
• A note on the Entscheidungsproblem
• A note on recursive functions
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Computability and λ-definability
• A formulation of the simple theory of types
• The completeness of the first-order functional calculus
• Completeness in the theory of types

This page was built for publication: Alonzo church:his life, his work and some of his miracles