Pages that link to "Item:Q817838"
From MaRDI portal
The following pages link to Mathematics based on incremental learning -- excluded middle and inductive inference (Q817838):
Displaying 11 items.
- Inductive inference and reverse mathematics (Q324252) (← links)
- Fluctuations, effective learnability and metastability in analysis (Q392289) (← links)
- Games with 1-backtracking (Q636360) (← links)
- Toward the interpretation of non-constructive reasoning as non-monotonic learning (Q1004290) (← links)
- A computable version of Banach's inverse mapping theorem (Q1006604) (← links)
- Effectivity questions for Kleene's recursion theorem (Q2636408) (← links)
- Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism (Q2637708) (← links)
- Effective Choice and Boundedness Principles in Computable Analysis (Q3083466) (← links)
- A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract) (Q3540181) (← links)
- Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1 (Q3637184) (← links)
- A New Translation for Semi-classical Theories — Backtracking without CPS (Q5458438) (← links)