Pages that link to "Item:Q3510206"
From MaRDI portal
The following pages link to EXACT APPROXIMATIONS OF OMEGA NUMBERS (Q3510206):
Displaying 6 items.
- Optimal asymptotic bounds on the oracle use in computations from Chaitin's Omega (Q736609) (← links)
- INDUCTIVE COMPLEXITY MEASURES FOR MATHEMATICAL PROBLEMS (Q2856020) (← links)
- A Program-Size Complexity Measure for Mathematical Problems and Conjectures (Q2891304) (← links)
- How Much Information Can There Be in a Real Number? (Q2891316) (← links)
- HOW MUCH INFORMATION CAN THERE BE IN A REAL NUMBER? (Q3510205) (← links)
- Formal Proof: Reconciling Correctness and Understanding (Q3637280) (← links)
