Computability

DOI10.1007/978-3-030-83202-5MaRDI QIDQ5153715zbMATH OpenOpenAlexFDO

Authors George Tourlakis

Publication date 30 September 2021

Full work available at URL https://doi.org/10.1007/978-3-030-83202-5

zbMATH Keywords

complexityreducibilityrecursivenessunsolvabilityset theorypropositional logicChurch's thesisrecursive functionsarithmetizationrecursion theoremsrelativized computabilityGödel's incompleteness theoremseffective enumerabilitysemi-recursiveness

Mathematics Subject Classification ID

Classical propositional logic (03B05) Gödel numberings and issues of incompleteness (03F40) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Computability and recursion theory (03Dxx)

Recommendations

• scientific article; zbMATH DE number 3922632
• Theory of computation
• scientific article; zbMATH DE number 5778850
• Elementar computability theory
• Computability theory

Cited in

(22)

• scientific article; zbMATH DE number 3992928 (Why is no real title available?)
• scientific article; zbMATH DE number 1285742 (Why is no real title available?)
• Computability. Recursive and programmable functions
• Computability theory
• Introduction to computability
• scientific article; zbMATH DE number 1909825 (Why is no real title available?)
• scientific article; zbMATH DE number 5354044 (Why is no real title available?)
• scientific article; zbMATH DE number 1955470 (Why is no real title available?)
• Algebraic computability and enumeration models. Recursion theory and descriptive complexity
• scientific article; zbMATH DE number 4088936 (Why is no real title available?)
• The concept of computability
• Computability and Recursion
• scientific article; zbMATH DE number 3987247 (Why is no real title available?)
• scientific article; zbMATH DE number 3922632 (Why is no real title available?)
• A mathematical primer on computability
• scientific article; zbMATH DE number 1511057 (Why is no real title available?)
• Mechanised computability theory
• scientific article; zbMATH DE number 1880324 (Why is no real title available?)
• The theory of computability developed in terms of satisfaction
• Computability and human symbolic output
• scientific article; zbMATH DE number 530148 (Why is no real title available?)
• Computability in Specification

This page was built for publication: Computability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5153715)