COMP.THEORY-------------- < Пред. | След. > -- < @ > -- < Сообщ. > -- < Эхи > --
 Nп/п : 79 из 100
 От   : olcott                              2:5075/128        30 авг 23 20:07:14
 К    : All                                                   30 авг 23 04:09:01
 Тема : Incompleteness is more aptly construed as the non-sequitur error
----------------------------------------------------------------------------------
                                                                                 
@MSGID: 1@dont-email.me> f75cc2fb
@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
G?del incompleteness is more aptly construed as the non-sequitur error
in the same way that the conclusion {the Moon orbits the Earth} is not a
logical consequence of the premise {cats are mammals}.

Provability ONLY validates logical consequence. Whenever a conclusion is
not provable from its premises we have the non-sequitur error. This
remains true when the only premises are the axioms of the formal system.


-- 
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    
                                                                                
В этой области больше нет сообщений.

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