default search action
"A function f: N\{0}->N\{0} that cannot be bounded by a computable ..."
Apoloniusz Tyszka (2013)
- Apoloniusz Tyszka:
A function f: N\{0}->N\{0} that cannot be bounded by a computable function and an infinite loop in MuPAD such that it takes as input a positive integer n, returns non-negative integers g(n, m) (m=1, 2, 3, ...), and f(n)=g(n, m) for any m>f(n). CoRR abs/1310.5363 (2013)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.