Path: ...!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 computation & human reasoning encoded as finite string transformations --- Quine
Date: Sun, 27 Apr 2025 12:15:48 +0300
Organization: -
Lines: 28
Message-ID: <vuksk4$fsto$1@dont-email.me>
References: <vu343r$20gn$2@dont-email.me> <fbe82c2374d539fb658a8f5569af102b713ecd01@i2pn2.org> <vu3cb7$95co$2@dont-email.me> <vu5494$1urcb$1@dont-email.me> <vu6amj$2vn05$4@dont-email.me> <vu7m8j$956h$1@dont-email.me> <vu8nde$13jl5$4@dont-email.me> <vucthk$17en3$1@dont-email.me> <vue3dr$28iho$1@dont-email.me> <vufh49$3j05o$1@dont-email.me> <vugtvm$pke9$4@dont-email.me> <vui4gn$201kt$1@dont-email.me> <vuiula$2lf64$1@dont-email.me> <vuj075$1kkn$1@news.muc.de> <vuj2rd$2lf64$8@dont-email.me> <vuj5a7$1u8v$1@news.muc.de> <vujc61$329gt$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 27 Apr 2025 11:15:48 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="e20b51155d493a56da5db83ddb0aac41";
	logging-data="521144"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+bOGvJcJTxEuhb8/1kB15d"
User-Agent: Unison/2.2
Cancel-Lock: sha1:xhUt8qYRCcTv3wOSYlkTVl/4378=
Bytes: 2490

On 2025-04-26 19:29:02 +0000, olcott said:

> On 4/26/2025 12:31 PM, Alan Mackenzie wrote:
>> In comp.theory olcott <polcott333@gmail.com> wrote:
>>> On 4/26/2025 11:04 AM, Alan Mackenzie wrote:
>>>> In comp.theory olcott <polcott333@gmail.com> wrote:

>>>>> The entire body of human knowledge that can be expressed in language
>>>>> is an axiomatic system beginning with a finite list of basic facts.
>> 
>>>> You've never proven that, and it is almost certainly false.
>> 
>>> A valid counter-example is categorically impossible.
>> 
>> OK, take the true statement "Nuremberg is a good place to live.", a
>> statement expressed in language.  Please state the axioms from which this
>> can be derived, and show that derivation.
> 
> I don't think that value judgments can be derived
> from basic facts thus do not count as knowledge that
> can be expressed using language.

Although that is a value judgement it is knowledge, and can be important
knowledge to someone who agrees about the relevant values.

-- 
Mikko