Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Can D simulated by H terminate normally?
Date: Sun, 28 Apr 2024 11:30:41 +0300
Organization: -
Lines: 14
Message-ID: <v0l1fh$uv8m$1@dont-email.me>
References: <v0k4jc$laej$1@dont-email.me> <v0k6eo$2djoe$10@i2pn2.org> <v0k70f$lpet$1@dont-email.me> <v0k9co$2djoe$11@i2pn2.org> <v0ka8h$qb8e$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 28 Apr 2024 10:30:42 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="49eedfb9a8473a9164697c525c11a511";
	logging-data="1015062"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19uUMtyKTPbPUBRe3kjfLSZ"
User-Agent: Unison/2.2
Cancel-Lock: sha1:87Ijd8wk83V5jEeEh9GEkNvFOf0=
Bytes: 1493

On 2024-04-28 01:54:23 +0000, olcott said:

> It is psychotic that people really believes that the principle of
> explosion is valid inference even though there is zero doubt the it
> derives the non-sequitur error.

From a false proposistion everthing follows so there is no
non-sequitur error. Instead, inference from a false propsition
is unsound. Although an unsound inference is not an error,
using the result as if were soundly proven is.

-- 
Mikko