Predication and computable concepts

DOI10.2143/LEA.234.0.3159738zbMATH Open1404.03016MaRDI QIDQ5283783FDOQ5283783

Authors:

Publication date: 25 July 2017

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.

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)

Cited In (5)

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

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)