EXISTENCE OF THE HALTING FUNCTION IN A PURELY MATHEMATICAL CONTEXT AND SOLUTION OF HALTING PARADOX WITH TERMINATION CHECKING OF PROGRAMS OVER DEFINITE TOPOLOGICAL SPACES

Here we define, mathematically, a program . Where is a set of all programmable words, we consider as the domain, and is the co-domain is the set of all finite or infinite strings of 0 & 1. (*Ref.1) In this paper, we propose a function *, which we call the stop function and we propose another function h, which we call the halt function. Our objective of the paper is to show their existence in a completely mathematical form of the, well known halting problem and its solution using simple functional compositions. Our next approach is to study the structure of the domain of programmable functions i.e. and its topology with respect to the topology of Followed by defining the finite string topology and the product topology on and study the continuous functions from to . Our main intention is to show that a programmable function will terminate for a specific input if and only if the function is continuous at that specific input (point on ). The main deference between the classical halting problem and our method is instead of mechanical switch program we utilize two-point functions. Which leads us to generate some interesting results through a purely mathematical context.