On Computability of Computable Problems

Asad Khaliq

2024-09-05

Abstract:Computational problems are classified into computable and uncomputable problems.If there exists an effective procedure (algorithm) to compute a problem then the problem is computable otherwise it is uncomputable.Turing machines can execute any algorithm therefore every computable problem is Turing computable.Cardinality of Turing machines and computable problems is equal-both are countably <a class="link-external link-http" href="http://infinite.In" rel="external noopener nofollow">this http URL</a> this paper we introduce new type of problems by constructing a transform technique and applying it on some computable problems.The transformed problems can be computable of uncomputable.

Computational Complexity

What problem does this paper attempt to address?

The paper attempts to address the issue of how to transform computable problems into non-computable problems or maintain their computability through a new transform technique. Specifically, the authors propose a method called the "f(Z, T) transform" and use this method to transform some computable problems, studying the computability of the transformed problems.

### Main Research Content:
1. **Background Introduction**:
- Introduced the basic concepts of computable and non-computable problems.
- Discussed the role of the Turing machine in computable problems and the equivalence between Turing machines and computable problems.
- Introduced the historical background of the Entscheidungsproblem (decision problem) and its undecidability.

2. **Construction of the Transform Technique**:
- Proposed a new transform technique, implemented through the interaction between a "Stipulation machine" and a Turing machine.
- Described in detail the working principle of the Stipulation machine and its interaction rules with the Turing machine.

3. **Computability Analysis After Transformation**:
- Studied the computability of transformed problems by transforming several specific computable problems (such as the 3-SAT problem, matrix multiplication problem, etc.).
- Analyzed the impact of transformation time \( T_P \) on the computability of the problems, especially when \( T_P \) approaches 0 or infinity.

4. **Normalization Analysis**:
- Defined the normalization function \( f_n(P, T) \) of the transformed problems and analyzed the computability of problems under different \( f_n(P, T) \) values.
- Demonstrated the changes in computability of problems under different \( T_P \) values through normalization graphs.

5. **Cardinality Analysis of Transformed Problems**:
- Studied the cardinality of the set of problems obtained by applying the f(Z, T) transform, finding that its cardinality is uncountably infinite, while the cardinality of Turing machine problems is countably infinite.
- This difference indicates that there are some problems obtained through the f(Z, T) transform that cannot be computed by a Turing machine.

### Conclusion:
Through the f(Z, T) transform technique, the authors successfully transformed some computable problems into non-computable problems and demonstrated the relationship between the computability of the transformed problems and the transformation time \( T_P \). This research not only enriches the content of computability theory but also provides new tools and methods for further exploring the formalization of natural phenomena. Future work will include experimental verification of the effectiveness and reproducibility of this transform technique.