COMP.THEORY-------------- < Пред. | След. > -- < @ > -- < Сообщ. > -- < Эхи > --
 Nп/п : 53 из 100
 От   : Richard Damon                       2:5075/128        22 авг 23 21:27:12
 К    : olcott                                                22 авг 23 04:29:01
 Тема : Re: Getting rid of G?del Incompleteness
----------------------------------------------------------------------------------
                                                                                 
@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



   GoldED+ VK   │                                                 │   09:55:30    
                                                                                
В этой области больше нет сообщений.

Остаться здесь
Перейти к списку сообщений
Перейти к списку эх