bugün məsləhət təsadüfi
sözaltı sözlük
postlar Yoxlama mesaj

6 yazar | 4 başlıq | 19 entry
yenilə | gündəm

son entrylər 19 yeni entry
#zirzəmi 2 yeni entry
#sözaltı wiki (3219)


hərbi komissarlıq ayətullah xomeyni iran 13 iyun 2025 israilin iranı vurması sözaltı yazarları sexual afterglow sözaltı sözlük heç vaxt evlənməyəcəyini deyən insan əliağa vahid təl-əviv niş | elm qəzəlxan azərbaycan filmləri | kino iron dome manga 28 days later | kino israilin fələstinli uşaqları öldürməsi i̇srailin i̇ranın nüvə kompleksinə hücumu daniel cormier merab dvalishvili tatlar zamanla unutmaq sözlük yazarlarının dinləməkdən bezmədiyi mahnılar shor algoritmi sözaltı günlük sözaltı sci-fi shor algoritmi cursor azov modern monetary theory carpal tunnel sindromu








löb teoremi



facebook twitter əjdaha lazımdı izlə dostlar   mən   googlla
məntiq - mind blowing teoremlər
başlıqdakı ən bəyənilən yazılar:

+4 əjdaha

2. mind-blowing teoremlərdən biridir. məntiqdəki ən vacib teoremlərdən biri hesab olunur və martin löb tərəfindən 1955-ci ildə isbat edilib

eliezer yudkowsky şirinmi şirin bir löb teoremi izahı və isbatı hazırlayıb, həmin yazıdan istinadlarla löb teoremini izah etməyə çalışacam bu entrydə. getdik

əvvəla, peano aksiomalarını orta məktəbdən bilirik. burdan link yaddaşınızı təzələyə bilərsiz, çətin nəsə yoxdur. (baxma: peano arifmetikası)

peano arifmetikası (pa) nə desə ona güvənirik* kulu kölesiyiz , o da adətən ədədlər haqda bəyanlar edir və bu bəyanlara "isbat" adını veririk. peano arifmetikasının bəyan etdiyi hər şey nəticədə düz çıxır deyə induksiya yolu ilə peano arifmetikası güvəniləndir #soundness# və həmişə düzdür deyirik. bu halda belə bir sual ortaya çıxır ki, deyək ki, peano arifmetikasının özü haqda bir peano sualı soruşuruq, bu halda peano arifmetikasının iddiası yenə də güvəniləndirmi?

işin içinə gödelin əskiklik teoremi girir və deyir ki, xeyr, əgər peano arifmetikası öz güvənilirliyi ilə bağlı bir iddiaya sahibdirsə, o halda peano arifmetikası öz özlüyündə tutarsızdır. #inconsistent# bəs yaxşı xüsusi hallar üçün güvənilən olduğunu isbat edə bilərikmi?

löb teoremi burda işin içinə daxil olur və deyir ki, əgər peano arifmetikası "əgər peano arifmetikası x-i isbat edirsə, o halda x doğrudur" ifadəsini isbat edirsə, bu halda peano arifmetikası x-i də isbat etmiş olur. wtf :d.

hər halda həyatınız boyu bundan daha kompleks bir cümlə eşitməmişdiz* əslində isə çox sadədir, eliezer yudkowsky təqdimatı ilə asanlıqla qavramaq olar link

mənbə.

yudkowski, the cartoon guide to lob's theorem
wikipedia



hamısını göstər

löb teoremi