Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine

In comp.theory olcott <polcott333@gmail.com> wrote:

[ .... ]

The body of human knowledge that is proven true entirely
on the basis of the connection from an expression of
language to its meaning also expressed in language is the
kind of analytic that I have always been referring to.

This is just a small part of human knowledge.

I just found the right words this year. The basic facts
(cannot be derived from other facts) are the axioms of
this system. The only rule-of-inference is semantic
logical entailment.

Axioms need to be chosen carefully.  Rules of inference likewise.

With such a simple and powerful system anything can be
expressed as the formalized semantics of natural language
and undecidability becomes impossible.

Many human experiences (alongside much else) cannot be expressed in
formalised semantics.  Undecidability is, on the contrary, not to be
avoided.

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--
Alan Mackenzie (Nuremberg, Germany).