Re: I have always been correct about emulating termination analyzers --- PROOF

On 2024-10-21 13:52:28 +0000, olcott said:

On 10/21/2024 3:41 AM, Mikko wrote:

On 2024-10-20 15:32:45 +0000, olcott said:
 

The actual barest essence for formal systems and computations
is finite string transformation rules applied to finite strings.

 Before you can start from that you need a formal theory that
can be interpreted as a theory of finite strings.

 Not at all. The only theory needed are the operations
that can be performed on finite strings:
concatenation, substring, relational operator ...

You may try with an informal foundation but you need to make sure
that it is sufficicently well defined and that is easier with a
formal theory.

The minimal complete theory that I can think of computes
the sum of pairs of ASCII digit strings.

That is easily extended to Peano arithmetic.
As a bottom layer you need some sort of logic. There must be unambifuous
rules about syntax and inference.
--
Mikko