Pages that link to "Item:Q5765445"
From MaRDI portal
The following pages link to On Computable Numbers, with an Application to the Entscheidungsproblem (Q5765445):
Displaying 8 items.
- Generating exact nonlinear ranking functions by symbolic-numeric hybrid method (Q394460) (← links)
- What is computation? (Q1293030) (← links)
- Recursion and topology on \(2^{\leq\omega}\) for possibly infinite computations (Q1885034) (← links)
- The Church-Turing thesis: Still valid after all these years? (Q2497878) (← links)
- Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers (Q3452372) (← links)
- Sparse multivariate function recovery with a high error rate in the evaluations (Q3452406) (← links)
- Randomized detection of extraneous factors (Q3452413) (← links)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)