sistem robotu


6,957   0   0   0
1. nəsil əcdad yazar
entry: 6,957
reytinq: 3,591
karma: -6
izləyən: 11
oxunma: 161,078
sifariş sayı: 1472






löb teoremi

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! sistem robotu

27.07.2020 - 10:08 #301429 mesaj facebook twitter

0 əjdaha! sistem robotu

27.07.2020 - 09:36 #301427 mesaj facebook twitter

2 əjdaha! sistem robotu

27.07.2020 - 00:01 #301392 mesaj facebook twitter

məntiq

tez-tez reasoning test ilə qarışdırılan min illik təlim. tələbələri günahlandırmıram, məntiq deyəndə ağıla bu link formada test tapşırıqlarının gəlməsi tələbələrin günahı deyil. günah bu dərsə, test tapşırıqlarına və s. məntiq adını verən təhsilimizin baş* bilənlərindədir

okey, məchulu tapanda, iki əlaqəsiz kimi görünən pattern arasına əlaqəni tapanda* mütləqdir ki, məntiq işlədirik. amma bu zalımın dərsinə heç olmasa logical reasoning filan deyin də, məntiq nədir? kurt gödel, alfred tarski qəbrində tərs döndü rəhmətliklər

gödel məntiqçidir deyəndə bir nəsil elə sanacaq ki rəhmətdiyin tədqiqat mövzusu düsturdakı bilinməyən ifadənin nə olduğunu tapmaq filan olub. məntiq dediyimiz şey aşağı-yuxarı budur link linkini atdığım məqalədən şəxsən heç nə bilmirəm, sadəcə deməyim odur ki bir məntiqçi bu tip şeylərlə məşğul olur

(bax: kurt gödel)
(bax: alfred tarski)*

(bax: reasoning test)
(bax: verbal reasoning test)
(bax: spatial reasoning test)
(bax: logical reasoning test)

0 əjdaha! sistem robotu

26.07.2020 - 22:59 #301386 mesaj facebook twitter

Köhnə sevgilinin evlənməsi

normal bir şeydir. bu aralar çox eşq meşq mövzularından yazıram, o gün də biri deşifre edib mesaj yazıb ki, sən ne iş? dedim ne iş? * ona görə bu entrydən sonra bir müddət ciddi moda keçəcəm *

bu köhnə sevgilinin gedib başqa biri ilə evlənməsinin adama qoyma səbəbi zeigarnik təsiri deyə bir psixoloji böhranın nəticəsidir. belə deyim də, biri ilə romantik münasibətin ən axırıncı pilləsi evlilikdir. flört ilə başlayıb, əl-ələ tutmaq, öpüşmək, tripə dözmək, dava-qırğınlar, o, bu ilə sevgililik mərhələsinə adlayan münasibətlər ya burdan sonrasına keçə bilmir ya da nişan, xına, nə bilim nə sikbaşından sonra evlilik ilə taçlandırılır

bir işə başlayanda da o işin sonunu gətirə bilməsək belə həmişə ən axırıncı pilləyə fokuslanırıq. ən aşağı kadrodan işə girən biri heç vaxt o işi elə həmin kadroda da davam etdirməyi arzulamır, gecə başını yastığa qoyanda bir gün müdir olacağı xəyalları ilə yuxuya gedir yetim. indi münasibətlər də bunun kimi. evliliklə bitməyən hər münasibət yarımçıq qalmış bir münasibət olaraq dəyərləndirilir insan beynində

bundan sonra da zeigarnik təsiri devreye girir, münasibət yarımçıq qalmış kimi dəyərləndirildiyi üçün o insan unudula bilmir, bir təhər unudulsa belə sabah gedib başqası ilə evlənəndə adamın kefi bir balaca pozulur.

zeigarnik təsiri gündəlik həyatımızın da bir parçasıdır. görməli olduğunuz işi tam görməyin, sonra da həmin gün götünüz çatırsa başqa bir işə fokuslanmağa çalışın. hay bacardız ha. beyin əvvəlki işi tam bitirmədən heç cürə təzəsinə fokuslana bilməyəcək

güzin ablalıq * edərək son bir məsləhət verəsi olsam deyərdim ki, yaşandı bitti saygsızıcavsgsf. zarafat bir tərəfə, heç bir münasibət heç vaxt yarımçıq qalmır, tamamlanmamış nəsə qalsaydı, əmin olun ki ayrılmazdız. ayrılsaz belə qız/oğlan başqasına könlünü təslim etməzdi.

5 əjdaha! sistem robotu

26.07.2020 - 20:28 #301364 mesaj facebook twitter

1 əjdaha! sistem robotu

26.07.2020 - 19:56 #301357 mesaj facebook twitter

2 əjdaha! sistem robotu

26.07.2020 - 18:31 #301348 mesaj facebook twitter

3 əjdaha! sistem robotu

26.07.2020 - 17:03 #301339 mesaj facebook twitter

0 əjdaha! sistem robotu

26.07.2020 - 14:16 #301325 mesaj facebook twitter

0 əjdaha! sistem robotu

26.07.2020 - 13:42 #301321 mesaj facebook twitter

argumentum ad ağzı ətə çatmayan pişiyum

ölkəmizdə mübahisələrdə tez-tez istifadə olunan səfsətələrdən biri. adı qoyulmamışdı, adını da mən qoydum * * *

əvvəla səfsətələrin nə olduğu ilə bağlı ad hominem üzərindən bir xatırlatma edək;

1. hər hansı bir insan (x) deyir ki, e bərabərdir mc-nin kvadratına (p)
2. x bəyənilməyən/arzuolunmayan * bir xüsusiyyətə sahibdir (f)
3. (f) - səbəbilə, (p) də səhvdir, çünki x'in dediyi heç nə (f) səbəbilə doğru ola bilməz

qısacası deyir ki, x'in dediyi, iddia elədiyi heç nəyə (p-yə) inana, doğru qəbul edə bilmərik çünki x yalançı insandır və ya ateistdir və ya cinayətkardır və ya eybəcərdir və ya mickey mouse desenli tursik geyir və s. (bunlara da f deyirik)

halbuki x necə biri olur olsun, nə edirsə etsin bu onun dediyi şeyin doğru ya da səhv olub olmamasının ehtimalını artırıb, azaltmır. dünyanın ən gicdillaq adamı belə e bərabərdir mc-nin kvadratını deyirsə, bu həqiqətdir, fərqi yoxdur bunu deyən insan nə pox yeyir, kimdir ya da nəçidir

keçək öz səfsətəmizə. zırhazır bir ad da qoymuşam sizin gül xətrinizə; argumentum ad ağzı ətə çatmayan pişiyum. okay, nədir bu?

deməli, bir adam başqa birinin gördüyü iş haqda nəsə fikir bildirir, o dəqiqə də linç edilir ki, əşi sən hələ onun gəldiyi səviyyəyə gəl çat, sən hələ onun kimi profesional elm adamı, idmançı, musiqiçi, x, y ol, sonra danışarsan. ağzın ətə çatmır, ona görə kənardan durub camaata pox atırsan

məsələn:

+ harvardın riyaziyyat fakultəsi nəsə xoşuma gəlmir, * elə bil digər universitetlərdən daha az araşdırma aparırlar
- ehehe, pişiyin ağzı ətə çatmayanda elə deyər də, sən hələ bir harvard səviyyəsinə çat, sonra danışarsan

bu məntiqlə heç kəs heç nə haqda fikir bildirməməlidir. məsələn, mən prezidenti tənqid etmək üçün, gördüyü işlərdən razı olmadığımı demək üçün gərək political science oxumalıyam, biriləri gündüz ağayevi tənqid etmək üçün karikaturist olmalıdır (#297140) və s. və ilaxır

bu səfsətə ilə yaşayası olsaq insanlıq olaraq min illərdir qram irəliləyə bilməzdik. təsəvvür elə camaat fransız inqilabında kralları, kraliçaları sikib çevirdiyi vaxtda, bir şəlpəqulaq ordan çıxıb deyir ki, əş kral olun sonra danışarsuz, ağzınız ətə çatmır deyə gül kimi kraliçamızın başını giyotinə vurdurmaq istəyirsiz zad. wtf?

ağzımız ətə çatsın ya çatmasın, bu, ifadə elədiyimiz fikrin doğru ya da səhvliyinə təsir göstərmir. konkret.

5 əjdaha! sistem robotu

26.07.2020 - 13:05 #301314 mesaj facebook twitter

2 əjdaha! sistem robotu

26.07.2020 - 02:45 #301293 mesaj facebook twitter

soul fallacy

cognitive scientist julien musolino tərəfindən yazılan kitab. bilale anlatır gibi anladır koqnitiv elmin ortalama bir amerikalının inancları ilə necə ziddiyət təşkil etdiyini

0 əjdaha! sistem robotu

26.07.2020 - 00:59 #301273 mesaj facebook twitter

earth song

(youtube: )


michael jackson tərəfindən ifa edilmiş şedevr mahnı

0 əjdaha! sistem robotu

26.07.2020 - 00:20 #301268 mesaj facebook twitter

uşaq sahibi olmaq

eləsəm, eləmiş olacağım ən böyük səhv.
dünya təmiz yer deyil, dünya çirkli yerdi və uşağı gətirib bura atmaq böyük haqsızlıqdı, məncə. uşaqları, dünyaya gəlməmələrini istəyəcək qədər çox sevirəm. uşaq sahibi olmaq istəyirsən, get uşaq evindən götür birini saxla. o qədər yolunu gözləyən 1 cüt həyatı sənə izah edən gözlər var ki. daunlu bir uşaq götür, məsələn. ömrün onun o saf, gözəl, təmiz qəlbiylə xoşbəxt keçsin. nəyə lazımdı sığınacaqlarda o qədər kimsəsiz uşaq varkən, onlar ailəsiz qalmışkən öz uşağına ailə olmağa çalışmaq? başqasının uşağı, filankəsin oğlu, filankəsin qızı temasına, insanları dilə, dinə, irqə bla bla bla ayırmaqla tən görürəm. səhvəmsə, düzəldin, zəhmət olmasa
not: dünya deyəndə elə dünyanı nəzərdə tuturam, mənim (sənin) yaşadığım ölkəni yox.

3 əjdaha! sistem robotu

25.07.2020 - 17:22 #301224 mesaj facebook twitter

0 əjdaha! sistem robotu

25.07.2020 - 13:08 #301195 mesaj facebook twitter

krokodil gena

sovet uşaqlarının əfsanə animasiya filmi. xüsusilə aşağıdakı mahnı əminəm ki yadınıza salacaq hər şeyi:

doğum günündə tək qalıb kədərlənən krokodil gena-dan gəlsin:

(youtube: )

8 əjdaha! sistem robotu

24.07.2020 - 22:15 #301153 mesaj facebook twitter

0 əjdaha! sistem robotu

24.07.2020 - 22:08 #301151 mesaj facebook twitter

prezidentlər üçün sudan quru çıxma rəhbəri

prezidentlər üçün bəd ayaqda sudan quru çıxma rəhbəri olacaq başlıq *

su demişkən, bu gedişlə suyumuz zadımız da qalmayacaq, hökumətin təzəlikcə yadına düşüb ki, bu sürətlə getsək 2030-cu ildə cənnət görmək istəyən azərbaycana gəlsin ölkəmizin yerində yellər əsəcək. çaylarını, meşələrini də səhra əvəzləyəcək. 9 iqlim qurşağından * 1'inə düşməyimizə çox qalmayıb, sıçtık

bir az elmi araşdırmaları qurdalayıb azərbaycan üçün quraqlıq təhlükəsi ilə bağlı nəsə axtaranda, bəlli oldu ki, 2014-dən bəridir elmlər akademiyası ciddi xəbərdarlıq edirmiş ki, yaxın illərdə bütün ölkə quraqlıqdan zərər çəkə bilər. aidiyyatı qurumlar da * sikləmədiyi üçün hal-hazırda prezidentimiz təbiətin bu şıltaqlığına qarşı təkbaşına mübarizə aparmalı olur. yoxsa belə onluq bir şey yoxdur, o da bizim kimi mağdurdur

heç uzatmadan qayıdaq başlığın əsas mövzusuna. o vaxt orta məktəbdə oxuyanda bir qaqaş vardı, bütün məktəblərdə olan, amerika filmlərində filan da həmişə özündən zəifləri əzişdirən bad boy obrazı. adı da hidayət. bu gün yadıma düşəndə dındıq hidayət deyirəm, o vaxt üzünə desəm indi burda aranızda olmazdım.

obşim. bu hidayətin bir də daim yanında fırlanan əl altısı var idi. başına qapazı vur, əlindən çörəyini al bir tip idi. həmişə mənə maraqlı gəlirdi ki, bu hidayət niyə bununla fırlanır çünki adətən bu cür tiplər yanlarında əzik tiplərlə gəzməyi özlərinə yaraşdırmazdılar. bir gün niyəsini başa düşdüm. mazginizi sikmədən əhvalatı danışım. deməli, menopoz stresində olan bir riyaziyyat müəlliməmiz vardı, içi mən qarışıq qabağına keçənə saydırırdı. bir dəfə də bu hidayət plan qurdu, qırıq olan stulu dərsdən on dəqiqə qabaq dəyişib, gətirib qoydu sağlam stulun yerinə. məktəb stullarını da bilən bilir, götünüzü qoyub oturduğunuz yerdəki taxta qırıq oldusa vse, düşürsüz stulun içinə, ayaqlar havada tısbağa kimi çabalaya-çabalaya qalırsız.

riyaziyyat müəlliməmizin taleyi də belə oldu, o an gözlərimizin qabağından heç vaxt getməz, o boyda yaşlı başlı qadın rəsmən stulun içində qalmışdı. nəsə. təbii ki dava qırğın qopdu. bu planı quran hidayət, cəriməsini çəkən də o yanındakı əl altısı əzik qaqaş oldu, söhbət necə fırlandısa, nə oldusa gəlib o qaqaşa girdi.

sonrasın da məktəbdə qapı sınsa, pəncərə sınsa hamımız bilirdik ki, edən hidayətdir, amma yanındakı əl altısı poxa düşürdü. yəni kənardan baxanda mənzərə bu idi ki, hidayət yaxşıdır, ətrafı pis.

burdan gələcək prezidentlər üçün çıxarılacaq vacib dərs budur: səhvlərinizi özünüzdən yayındırmaq və süddən ağ qaşıq kimi çıxmaq üçün həmişə əmrinizin altında dar ayaqda hər poxu üstlərinə ata biləcəyiniz qurumlar olsun. amma o qurumlar da nə badə xalqın gözündə reputasiya zad sahibi olsunlar haa! mütləq o qurumlar da xalqı sikməlidirlər ki, sabah poxu onların üstünə atanda xalq desin ki; əşi adam düz deyir də, özü yaxşıdır, kruqu pis, işləmirlər də ay qardaş.

bu manipulativ şounun təsirini artırmaq üçün bir tüyo da verim. indi 19cu əsr deyil ki, maşalla tv, internet 24 saat canlı yayımdadır. çıxırsan tv-nin qabağına, önünə də düzürsən bu yarıtmaz qurumların başlarında duranları. bir az bədən dili zad öyrənirsən, qaşlarını zadı da qaldırırsan ki, millət əsəbiləşdiyinə əmin olsun, elə ordaca hamısını azarlayırsan və bitdi. ertəsi gün sən yenə xalq üçün çalışan qəhrəman, qurumların xalq ilə bərabər mağdur elədiyi insan olacaqsan, əsla heç bir günah boynunda qalmayacaq.

bunları yazıram ki, indi baxma da , sözlükdə intellektual uşaqlar çoxdur, sabah prezident zad olanınız olar, çaşıb dövlətin məsuliyyətini zadı götürərsiz boynunuza, aman ha sakın.

9 əjdaha! sistem robotu

24.07.2020 - 21:39 #301149 mesaj facebook twitter

mariya kürüsü

9.cu nəsil sözlük yazarı. #301112 bu entrysini oxuyandan sonra həm sözlük fəaliyyətində uğurlar arzu edərək həm də kiçik bir lətifə ilə entrymi tamamlamaq istəyirəm *

köhnə vaxtlarda bir fağır çoban olur. dindar bir qaqaş da buna məsləhət verir ki, bəs namaz qılsan, qoyun quzun çoxalacaq. çoban da eləmə tənbəllik, başlayır namaz qılmağa. bu hər gün namaz qıldıqca qoyun quzu da başlayır tələf olmağa, beşi dağdan düşür, beşini canavar aparır, beşi depressiyaya girib özünü asır zad.

(youtube: )


ən axırda çobanın bircə dənə yetim keçisi qalır, çoban da bunu otarmağa aparanda keçi sözə baxmır, başlayır çobanı buynuzlamağa. çoban da keçiyə qayıdır ki, bir dənə sən qalmısan, sən də baş beynimi xarab eləmə, durub 2 rükət namaz qılaram, cırıq-cırıq olarsan. *

7 əjdaha! sistem robotu

24.07.2020 - 15:44 #301117 mesaj facebook twitter

« / 20 »

blok -   başlıqlarını gizlət

Son bəyənilənlər