Парадокс Каррі — парадоксальний висновок з висловлювання «Якщо це твердження правдиве, то русалки існують». Замість існування русалок можна робити будь-яку неправдоподібну або помилкову заяву (в англійському оригіналі — існування Санта-Клауса). Хід думок, що веде до парадоксу, побудований таким чином:
- Позначимо через вислів «Якщо правдиве, то русалки існують»;
- Ми не знаємо, чи правдивий вислів . Але якби висловлювання було правдивим, то це тягло б існування русалок;
- Але саме це й стверджується у висловленні , таким чином — правдиве;
- Отже, русалки існують!
Причиною парадоксу Каррі є використання в твердженні неприпустимого посилання на саме себе. У формальних системах доказів парадокс Каррі не виникає, однак деякі дослідники відзначають, що теорему Льоба можна розглядати як результат формалізації міркувань, що аналогічні до парадоксу Каррі, за допомогою нумерації Ґьоделя.
Цей парадокс названо на честь математика Хаскелла Каррі, який його розглядав. Іноді його називають парадоксом Льоба від імені Мартіна Х'юго Льоба.
Посилання
- Curry's Paradox / Stanford Encyclopedia of Philosophy (англ.)
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Paradoks Karri paradoksalnij visnovok z vislovlyuvannya Yaksho ce tverdzhennya pravdive to rusalki isnuyut Zamist isnuvannya rusalok mozhna robiti bud yaku nepravdopodibnu abo pomilkovu zayavu v anglijskomu originali isnuvannya Santa Klausa Hid dumok sho vede do paradoksu pobudovanij takim chinom Poznachimo cherez S displaystyle S visliv Yaksho S displaystyle S pravdive to rusalki isnuyut Mi ne znayemo chi pravdivij visliv S displaystyle S Ale yakbi vislovlyuvannya S displaystyle S bulo pravdivim to ce tyaglo b isnuvannya rusalok Ale same ce j stverdzhuyetsya u vislovlenni S displaystyle S takim chinom S displaystyle S pravdive Otzhe rusalki isnuyut Prichinoyu paradoksu Karri ye vikoristannya v tverdzhenni nepripustimogo posilannya na same sebe U formalnih sistemah dokaziv paradoks Karri ne vinikaye odnak deyaki doslidniki vidznachayut sho teoremu Loba mozhna rozglyadati yak rezultat formalizaciyi mirkuvan sho analogichni do paradoksu Karri za dopomogoyu numeraciyi Godelya Cej paradoks nazvano na chest matematika Haskella Karri yakij jogo rozglyadav Inodi jogo nazivayut paradoksom Loba vid imeni Martina H yugo Loba PosilannyaCurry s Paradox Stanford Encyclopedia of Philosophy angl