Predication and computable concepts

DOI10.2143/LEA.234.0.3159738MaRDI QIDQ5283783zbMATH OpenFDO

Authors

Publication date 25 July 2017

zbMATH Keywords

interpretationcomputabilityconceptpredicationsemi-computability

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Turing machines and related notions (03D10) Relative consistency and interpretations (03F25)

Recommendations

• New Computational Paradigms
• scientific article; zbMATH DE number 790192
• The status of Church's thesis
• scientific article; zbMATH DE number 3987247
• From truth to computability. I.

Cited in

(5)

• A minimal logical system for computable concepts and effective knowability
• Possible predicates and actual properties
• Predicativity and constructive mathematics
• Reasoning about constructive concepts
• Predicate invention and utilization

This page was built for publication: Predication and computable concepts

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