Diagonalisation and Church's Thesis: Kleene's Homework

DOI10.1080/0144534042000271157zbMath1083.03003OpenAlexW1965963409WikidataQ58553754 ScholiaQ58553754MaRDI QIDQ5697424

Enrique Alonso, María Manzano

Publication date: 17 October 2005

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

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

zbMATH Keywords

Church's thesisdiagonal argumentsgenesis of computability theory

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Related Items

Visions of Henkin

Cites Work

• Reflections on Church's thesis
• Church's thesis without tears
• Why Gödel didn't have church's thesis
• Step by Recursive Step: Church's Analysis of Effective Calculability
• Alonzo church:his life, his work and some of his miracles
• The Richard Paradox
• The Mathematical Work of S.C.Kleene
• An Unsolvable Problem of Elementary Number Theory
• On notation for ordinal numbers

This page was built for publication: Diagonalisation and Church's Thesis: Kleene's Homework