XPost: comp.theory, sci.logic, sci.math
On 4/29/2022 9:07 AM, Mr Flibble wrote:
A proof of an erroneous theory is, by implication, also erroneous. The halting problem as stated is erroneous ergo all currently extant
halting problem proofs are, by implication, also erroneous and do not
require formal refutation to be considered invalid.
Fix the halting problem itself before trying to refute Olcott, you
shower.
https://en.wikipedia.org/wiki/Category_mistake
/Flibble
You are not using the conventional computer science terminology exactly correctly, yet the gist of what you are saying is exactly correct:
category error.
The exact same issue arises with GĂ¶del's 1931 Incompleteness theorem and
the 1936 Tarski Undefinability theorem.
https://liarparadox.org/Tarski_247_248.pdf https://liarparadox.org/Tarski_275_276.pdf
Tarski "proved" that the notion of truth cannot be mathematically
formalized entirely on the basis that he could not prove that the liar
paradox is true. It never occurred to Tarski that the Liar Paradox is
not a truth bearer. I had to define "truth bearer" myself because all of
the existing definitions are pretty crappy.
*Expressions of (formal or natural) language that can possibly be
resolved to a truth value* are [truth bearers].
There are only two ways that an expression of language can be resolved
to a truth value:
(1) An expression of language is assigned a truth value such as "cats
are animals" is defined to be true.
(2) Truth preserving operations are applied to expressions of language
that are known to be true. {cats are animals} and {animals are living
things} therefore {cats are living things}. copyright 2021 PL Olcott
The above only focuses on analytic truth (verified as true entirely on
the basis of the meaning of the expression of language) and thus
excludes empirical truth that requires sense data from the sense organs.
--
Copyright 2022 Pete Olcott "Talent hits a target no one else can hit;
Genius hits a target no one else can see." Arthur Schopenhauer
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)