Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Julio Di Egidio <julio@diegidio.name>
Newsgroups: sci.logic
Subject: Re: Negative translation for propositional linear (or affine) logic?
Date: Sun, 1 Dec 2024 14:44:01 +0100
Organization: A noiseless patient Spider
Lines: 19
Message-ID: <vihp72$2eqeg$1@dont-email.me>
References: <vhgdq0$19evr$1@dont-email.me> <vhgemi$ca9e$1@solani.org>
 <vhgg23$19evr$2@dont-email.me> <vhhsit$d108$1@solani.org>
 <vhhuuf$1qic1$1@dont-email.me> <vhi5ch$d5rb$1@solani.org>
 <vhqemf$16mc2$1@dont-email.me> <vi8bgs$42ft$1@solani.org>
 <vi8et8$1n1h$2@dont-email.me> <vi8h9s$ghq4$1@solani.org>
 <vi8hij$gi0t$1@solani.org> <vi8itf$1n1h$4@dont-email.me>
 <vi97l3$4fgl$1@solani.org> <vi9868$4fkp$1@solani.org>
 <vihmt6$2flre$2@dont-email.me> <vihnh9$lqqj$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 01 Dec 2024 14:44:03 +0100 (CET)
Injection-Info: dont-email.me; posting-host="9457540d49654f8b44273a26fe4626ef";
	logging-data="2582992"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+RJPJhIE53h76+exkhA1nK5uA2d81Yo+I="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:2m9KJ4rPI8ldYGgPOBoEsYQZzmI=
Content-Language: en-GB
In-Reply-To: <vihnh9$lqqj$1@solani.org>
Bytes: 2251

On 01/12/2024 14:15, Mild Shock wrote:

> "Type system" can be another word for "logic with
> proof terms", if you look at:
> https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence

Indeed, a proof tree is a program and a solver is a compiler.  But the 
real point is about *pure* *formal* logic, how it works and is the only 
thing that works, as long as it pure: i.e. Logic proper is exactly 
outside and above it, before and after any mechanics.

The received meta-theories and "philosophies" are completely upside down 
and yet another global fraud on top of the genocides.  And the advent of 
their "AI", sold as a solution to problems when it's really the lobotomy 
on a side and the lying with numbers on the other: another nail in the 
global coffin.

-Julio