PA is instantiationally complete, but algorithmically incomplete: An alternative interpretation of Goedelian incompleteness under Church's Thesis that links formal logic and computability

Bhupinder Singh Anand

DOI: https://doi.org/10.48550/arXiv.math/0507044

2005-07-04

Abstract:We define instantiational and algorithmic completeness for a formal language. We show that, in the presence of Church's Thesis, an alternative interpretation of Goedelian incompleteness is that Peano Arithmetic is instantiationally complete, but algorithmically incomplete. We then postulate a Provability Thesis that links Peano Arithmetic and effective algorithmic computability, just as Church's Thesis links Recursive Arithmetic and effective instantiational computability.

General Mathematics

What problem does this paper attempt to address?

The core problem that this paper attempts to solve is about the completeness of Peano arithmetic (PA) under different interpretations. Specifically, it is to distinguish between instantiational completeness and algorithmic completeness, and explore new interpretations of Gödel's incompleteness theorems under this distinction. The author supplements and completes the concept of Soundness in arithmetic by introducing the "Provability Thesis", thereby establishing an equivalence relationship between Peano arithmetic and Turing computability.

### Specific problems include:

1. **Definitions of Instantiational Completeness and Algorithmic Completeness**:
- Instantiational Completeness: A formal language L is instantiationally complete under its interpretation M if and only if every instance of the Tarskian - true predicate R(…) can be interpreted by a provable formula in L in M.
- Algorithmic Completeness: A formal language L is algorithmically complete under its interpretation M if and only if every algorithmic Tarskian - true predicate R(…) is provable in M.

2. **New Interpretations of Gödel's Incompleteness Theorems**:
- In the presence of Church's Thesis, Gödel's incompleteness theorems can be reinterpreted as: Peano arithmetic is instantiationally complete but not algorithmically complete. This means that there are propositions that are provable in some instances, but their universally quantified forms cannot be proven within the system.

3. **Proposal of the Provability Thesis**:
- Provability Thesis: Every algorithmic Tarskian - true arithmetic predicate R(…) is provable in PA. This will supplement and complete the concept of Soundness in arithmetic and establish an equivalence relationship between Peano arithmetic and Turing computability.

### Main conclusions of the paper:
- **Instantiational Completeness of Peano Arithmetic**: According to Church's Thesis, first - order Peano arithmetic is instantiationally complete under its standard interpretation.
- **Algorithmic Incompleteness of Peano Arithmetic**: According to Gödel's incompleteness theorems, first - order Peano arithmetic is not algorithmically complete under its standard interpretation.
- **Significance of the Provability Thesis**: This thesis provides a possible way to establish an equivalence relationship between the provability of Peano arithmetic and Turing computability, thus affecting the standard interpretation of classical theories.

Through these discussions, the author aims to reveal the properties of Peano arithmetic under different concepts of completeness and propose new hypotheses to further understand its limitations and potential.