The following pages link to (Q4420735):
Displaying 5 items.
- Fluctuations, effective learnability and metastability in analysis (Q392289) (← links)
- Mathematics based on incremental learning -- excluded middle and inductive inference (Q817838) (← links)
- Some intuitionistic equivalents of classical principles for degree 2 formulas (Q2368911) (← links)
- A sequent calculus for limit computable mathematics (Q2482845) (← links)
- Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism (Q2637708) (← links)
