25 yazar | 33 başlıq | 67 entry
yenilə | gündəm

#son entrylər 67 yeni entry

yazarların 2021-ci il spotify xülasələri 7 qəribə təsadüflər 5 rihanna 4 azərbaycan polisi 2 rihanna 4 qəbir daşına yazılacaq sözlər 2 qışda ən çox sevilən meyvələr 2 dədə   qaraqan   lazımsız məlumatlar 4 ataya demək istədiklərimiz   toyuq dönəri   yazarların 2021-ci il spotify xülasələri 5 maliyyə piramidası 2 başlıqları alt alta oxumaq 2 tofiq yaqublu   dekabr 2 evlilik   sözaltı günlük 2 #sözaltı music   baxılası youtube videoları   balxaş   şah ismayıl xətai   moise kean   federico chiesa   qəribə təsadüflər 4 keçən ayın ən bəyənilənləri   atom emission spektroskopiya | elm   green card   bilemiyorum altan bilemiyorum   qrip   lewis hamilton   iel   gecəyə bir mahnı paylaş   əsəb pozan şeylər   ənnağı   lütfi zadə | elm   30 noyabr 2021 xızıda hərbi helikopter qəzası   azərbaycan türkü yox azəri   ən yaxşı azərbaycan mahnıları   sırğa taxan oğlan   cəmiyyətə demək istənilənlər   petux   spider-man | kino   umbaylama   21-ci əsrin ən yaxşı qapıçıları   azəriqaz istehsalat birliyi   uzağın bir adı var   all models are wrong, some are useful   yaran lətifələr   bitməsi istənən şeylər   azərbaycan   yazarların hazırda düşündükləri   paypal   thomas tuchel   gianluigi donnarumma   lautaro martinez   ballon dor-a layiq olub onu qazana bilməyən əfsanəvi futbolçular   ballon dor   ali koç   benedict de spinoza   içki içərkən dinlənəcək mahnılar   porno izləyən qız   özgür demirtaş   azərbaycan kooperasiya universiteti   ielts   sözaltı fotoqrafiya   voleybol   hilma af klint   sözlük yazarlarının dinləməkdən bezmədiyi mahnılar   amerikaya qaçmaq üçün təyyarə ələ keçirmiş azərbaycanlı ailə   l'errant   heç itirib axtarmırsan vəfasız   atipik depressiya   əşi heç nə olmaz   qəhbə   23 noyabr 2021 əli məlikovun bullinqə məruz qalması haqda postu   elvin ibra  









löb teoremi

| elm

facebook twitter əjdaha lazımdı   googllalink
məntiq - mind blowing teoremlər

    1. 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. (bax: peano arifmetikası)

    peano arifmetikası (pa) nə desə ona güvənirik*, 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

    0 əjdaha!

    27.07.2020 09:19, graviton
    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. (bax: peano arifmetikası)

    peano arifmetikası (pa) nə desə ona güvənirik*, 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

    2 əjdaha!

    27.07.2020 10:08, sistem robotu


üzv ol