×

zbMATH — the first resource for mathematics

Why Goedel didn’t have Church’s thesis. (English) Zbl 0519.03033

MSC:
03D20 Recursive functions and relations, subrecursive hierarchies
03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03-03 History of mathematical logic and foundations
01A60 History of mathematics in the 20th century
PDF BibTeX XML Cite
Full Text: DOI