Limiting recursion
From MaRDI portal
Cites work
Cited in
(85)- Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions
- What is the Church-Turing Thesis?
- Epistemic entrenchment and arithmetical hierarchy
- On the interplay between inductive inference of recursive functions, complexity theory and recursive numberings
- Bounded query classes and the difference hierarchy
- Toward a unified approach for the classification of NP-complete optimization problems
- Toward a theory of intelligence
- The myth of `the myth of hypercomputation'
- Trial and error mathematics. I: Dialectical and quasidialectical systems
- Recognizing strong random reals
- A NOTE ON THE LEARNING-THEORETIC CHARACTERIZATIONS OF RANDOMNESS AND CONVERGENCE
- Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1
- Computation as an unbounded process
- A survey of results on the d.c.e. and \(n\)-c.e. degrees
- Learning indexed families of recursive languages from positive data: A survey
- scientific article; zbMATH DE number 3503215 (Why is no real title available?)
- Total complexity and the inference of best programs
- Gold's theorem and cognitive science
- System identification via state characterization
- On the solvability of inductive problems: a study in epistemic topology
- Limiting partial combinatory algebras
- An approach to intrinsic complexity of uniform learning
- A new Gödelian argument for hypercomputing minds based on the busy beaver problem
- Experience, generations, and limits in machine learning
- Preface: Super-recursive algorithms and hypercomputation.
- The concept of computability
- Uncomputability: The problem of induction internalized
- Elementary theories and structural properties of d-c.e. and n-c.e. degrees
- Infinitary self-reference in learning theory
- Learning theory and epistemology
- A classification of low c.e. sets and the Ershov hierarchy
- Logic and probabilistic systems
- Fixed-parameter decidability: extending parameterized complexity analysis
- Degrees of relations on canonically ordered natural numbers and integers
- Computability of a function with jumps: Effective uniformity and limiting recursion
- Two notions of sequential computability of a function with jumps
- Revising type-2 computation and degrees of discontinuity
- On the quantifier of limiting realizability
- Research in the theory of inductive inference by GDR mathematicians - A survey
- Hypercomputation: Philosophical issues
- Learning to act and observe in partially observable domains
- Model-theoretic properties of Turing degrees in the Ershov difference hierarchy
- How to approximate fuzzy sets: mind-changes and the Ershov hierarchy
- The introduction of topology into analytic philosophy: two movements and a coda
- Limiting characterizations of low level space complexity classes
- Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism
- Finitely bounded effective computability
- The modal argument for hypercomputing minds
- On the amount of nonconstructivity in learning recursive functions
- Experimental logics and ^0_2-theories
- Ignoring data may be the only way to learn efficiently
- A survey of results on the d-c.e. and n-c.e. degrees
- A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract)
- On the power of probabilistic strategies in inductive inference
- Special splitting in the 2-c.e. Turing degrees
- Interpolating d-r.e. and REA degrees between r.e. degrees
- Significato e verita nell'aritmetica peaniana
- Modes of convergence to the truth: steps toward a better epistemology of induction
- Extending and interpreting Post's programme
- Approximating approximate reasoning: fuzzy sets and the Ershov hierarchy
- Learning figures with the Hausdorff metric by fractals -- towards computable binary classification
- Computable categoricity and the Ershov hierarchy
- Learning with belief levels
- Toward the interpretation of non-constructive reasoning as non-monotonic learning
- Is Gold-Putnam diagonalization complete?
- Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.)
- scientific article; zbMATH DE number 3932271 (Why is no real title available?)
- Learning recursive functions: A survey
- On the influence of technology on learning processes
- Nondensity of Double Bubbles in the D.C.E. Degrees
- A Natural Axiomatization of Computability and Proof of Church's Thesis
- How to reason defeasibly
- HIERARCHIES OF GENERALIZED KOLMOGOROV COMPLEXITIES AND NONENUMERABLE UNIVERSAL MEASURES COMPUTABLE IN THE LIMIT
- On TAE machines and their computational power
- The case for hypercomputation
- Cellular automata are generic
- A Galois connection between Turing jumps and limits
- One-sided error probabilistic inductive inference and reliable frequency identification
- The many forms of hypercomputation
- On frequency-enumerable sets
- Generalization of Shapiro's theorem to higher arities and noninjective notations
- Identification of probabilities
- On learning of functions refutably.
- Convergence of preference functions
- The \(n\)-r.e. degrees: undecidability and \(\Sigma_1\) substructures
This page was built for publication: Limiting recursion
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5601468)
