Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: All of computation and human reasoning can be encoded as finite string transformations
Date: Mon, 21 Apr 2025 12:42:40 +0300
Organization: -
Lines: 18
Message-ID: <vu53ug$1uhj6$1@dont-email.me>
References: <vu343r$20gn$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 21 Apr 2025 11:42:41 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="61ccaff3bbfe328e6326ebac0b5cee5d";
	logging-data="2049638"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19Dyqo1kgEdXbrJ4y3zkfJ1"
User-Agent: Unison/2.2
Cancel-Lock: sha1:flh0KbuWURdHD5383GXxSF5B0hU=
Bytes: 1548

On 2025-04-20 15:33:15 +0000, olcott said:

> No counter-example to the above statement exists for all
> computation and all human reasoning that can be expressed
> in language.

No counter exmple is not yet known but that it is possible that an
unknown counter-example exists. In particular human reasoning is
not sufficiently understood to say how it works.

> Double-talk, weasel words and ad hominem attacks count as
> pure foolishness and zero rebuttal what-so-ever.

We know. We also know that you keep doing that wanyway.

-- 
Mikko