Probabilistic Recursive Functions

DOI10.2307/1996608MaRDI QIDQ5685067zbMATH OpenOpenAlexFDO

Authors Irwin Mann

Publication date 1973

Full work available at URL https://doi.org/10.2307/1996608

Mathematics Subject Classification ID

Monte Carlo methods (65C05) Probability measures on topological spaces (60B05) Hierarchies of computability and definability (03D55) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Continuity and singularity of induced measures (60G30) Algorithms in computer science (68W99) Proof theory and constructive mathematics (03F99)

Cites work

• scientific article; zbMATH DE number 3131080 (Why is no real title available?)
• scientific article; zbMATH DE number 3060775 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• An Unsolvable Problem of Elementary Number Theory
• Arithmetical definability of field elements
• Criteria of constructibility for real numbers
• Nicht konstruktiv beweisbare Sätze der Analysis
• Recursive Real Numbers

Cited in

(1)

• Layerwise computability and image randomness

This page was built for publication: Probabilistic Recursive Functions

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