Irrational-Based Computability of Functions

ADVANCES IN MATHEMATICAL LOGIC(2021)

引用 0|浏览1
暂无评分
摘要
We investigate a sort of a unifying theory of computability of real functions, continuous or discontinuous, called here "irrational-based" (IB-) computability. All the examples which are computable in our various theories presented previously are IB-computable. The basic requirements of computability, the sequential computability and the effective continuity, are defined relative to computable irrational real sequences. The family of IB-computable functions is closed under IB-effective convergence. In order to certify the fruitfulness of IB-computability, quite a number of examples are presented.
更多
查看译文
关键词
Computable irrational sequence, Irrational-based (IB-) computable real function, IB-effective convergence
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要