COMP.THEORY-------------- < Пред. | След. > -- < @ > -- < Сообщ. > -- < Эхи > --
 Nп/п : 50 из 100
 От   : olcott                              2:5075/128        22 авг 23 11:07:48
 К    : All                                                   22 авг 23 19:11:02
 Тема : Getting rid of G?del Incompleteness
----------------------------------------------------------------------------------
                                                                                 
@MSGID: 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>
@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
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. 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



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

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