----------------------------------------------------------------------------------
@MSGID: U3w1.12054@fx09.iad>
4c793c26
@REPLY: 1@dont-email.me> 69bc1ad4
@REPLYADDR Richard Damon
<Richard@Damon-Family.org>
@REPLYTO 2:5075/128 Richard Damon
@CHRS: CP866 2
@RFC: 1 0
@RFC-References: 1@dont-email.me>
1@dont-email.me>
@RFC-Message-ID:
U3w1.12054@fx09.iad>
@TZUTC: -0400
@PID: Mozilla Thunderbird
@TID: FIDOGATE-5.12-ge4e8b94
On 8/22/23 6:56 PM, olcott wrote:
> 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
No, it shows that your logic is insufficient to handle that level of
Mathematics.
But then, that just shows your level of comprehension.
--- Mozilla Thunderbird
* Origin: Forte - www.forteinc.com (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