Inductively Computable Sets and Functions

Authors

  • Mark Burgin

Abstract

Abstract
Inductive computations are used in many areas of computer and network technology. Inductive reasoning forms the base for scientific exploration. A mathematical model of inductive computations and reasoning is called an inductive Turing machine, which is a natural extension of the most popular model of computing devices and computations - Turing machine. In comparison with Turing machines, inductive Turing machines represent the next step in the development of computer science providing better models for contemporary computers and computer networks. Inductive Turing machines generate inductively computable sets, separate inductively recognizable sets, discern inductively decidable sets and compute inductively computable functions. In this paper, we study properties of these sets and functions.

Keywords: Inductive computation, Turing machine, Inductive Turing machine, Inductive computability, Inductive recognizability, Inductive decidability

Cite this Article
Mark Burgin. Inductively Computable Sets and Functions. Journal of Computer Technology & Applications. 2016; 7(1): 12–21p.

Downloads

Published

2019-07-15

Issue

Vol. 7 No. 1 (2016)

Section

Articles

License

Declaration and Copyright Transfer Form

(to be completed by authors)

I/ We, the undersigned author(s) of the submitted manuscript, hereby declare, that the above manuscript which is submitted for publication in the STM Journals(s), is not published already in part or whole (except in the form of abstract) in any journal or magazine for private or public circulation, and, is not under consideration of publication elsewhere.

  • I/We will not withdraw the manuscript after 1 week of submission as I have read the Author Guidelines and will adhere to the guidelines.
  • I/We Author(s ) have niether given nor will give this manuscript elsewhere for publishing after submitting in STM Journal(s).
  • I/ We have read the original version of the manuscript and am/ are responsible for the thought contents embodied in it. The work dealt in the manuscript is my/ our own, and my/ our individual contribution to this work is significant enough to qualify for authorship.
  •  I/We also agree to the authorship of the article in the following order:

Author’s name                                    

 

1. ________________

2. ________________

3. ________________

4. ________________

 

We  Author(s) tick this box and would request you to consider it as our signature as we agree to the terms of this Copyright Notice, which will apply to this submission if and when it is published by this journal.