Turing projectability

From MaRDI portal

Publication:1102947

Jump to:navigation, search

DOI10.1305/ndjfl/1093637647zbMath0645.03038OpenAlexW4245927665MaRDI QIDQ1102947

Stewart Shapiro, Timothy G. McCarthy

Publication date: 1987

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093637647

zbMATH Keywords

inductive logic number-theoretic function Turing computable function Turing projectable functions

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10)

Related Items (3)

A logic for trial and error classifiers ⋮ TRIAL AND ERROR MATHEMATICS I: DIALECTICAL AND QUASIDIALECTICAL SYSTEMS ⋮ Incompleteness, Mechanism, and Optimism

This page was built for publication: Turing projectability

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1102947&oldid=13139647"