----------------------------------------------------------------------------------
@MSGID: 1@dont-email.me> 69bc1ad4
@REPLY: 1@dont-email.me> 9b7a5770
@REPLYADDR olcott <polcott2@gmail.com>
@REPLYTO 2:5075/128 olcott
@CHRS: CP866 2
@RFC: 1 0
@RFC-Message-ID: 1@dont-email.me>
@RFC-References: 1@dont-email.me>
@TZUTC: -0500
@PID: Mozilla/5.0 (Windows NT 10.0; Win64; x64;
rv:102.0) Gecko/20100101 Thunderbird/102.14.0
@TID: FIDOGATE-5.12-ge4e8b94
On 8/22/2023 11:07 AM, olcott wrote:
> When we redefine the architecture of formal systems to be an extension
> of the notion of a syllogism such that conclusions are required to be a
> semantically necessary consequence of all of their premises then
> incompleteness is no longer possible. All unprovable expressions are
> simply deemed to be invalid arguments. This makes them no longer
> available to show incompleteness.
This transforms mathematical incompleteness into the non sequitur error
Copyright 2023 PL Olcott
>
>
https://en.wikipedia.org/wiki/Syllogism#Basic_structure
>
--
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.14.0
* Origin: A noiseless patient Spider (2:5075/128)
SEEN-BY: 5001/100 5005/49 5015/255 5019/40 5020/715
848 1042 4441 12000
SEEN-BY: 5030/49 1081 5058/104 5075/128
@PATH: 5075/128 5020/1042 4441