Multilateral research on the role of limiting recursive functions in the computability problem

点击翻译按钮获取中文摘要

A function whose value is obtained somewhere in the course of an infinite process of computations is called a limiting recursive function. The theory of limiting recursive functions plays an important role when one observes mathematics from the standpoint of "computation". We have applied it to the computability theory in mathematics, and compared this method with the method of uniform topology, in which a Euclidean discontinuous function turns continuous. We have further devised how to implement a part of this theory on the computer.