SALE !!! 40 % off in stock orders over $ 99.00 OR 50 % off in stock orders over $ 169.00

Вовеки неразрешимо. Головоломное руководство по Геделю - Смаллиан Р.М.


Voveki nerazreshimo. Golovolomnoe rukovodstvo po Gedeliu
Смаллиан Р.М. (Smallian R.M.)

Item ID : 1341075
SKU : VV1341075
ISBN : 9785855823356

Pages : 0
Cover : Paperback
Year : 2021
Publisher : Лори ( Lori )

Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
You Pay: $55.24


shipped in 14-16 days


Краткая аннотация

В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех «возможных миров»: эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Лёба и увлекательный анализ взаимоотношения между понятиями «непротиворечивость», «доказуемость» и «разрешимость». Эта книга для тех, кто желает: - не только научиться успешно искать свою подругу, которая иногда улетает на острова, населенные всегда говорящими правду рыцарями и бессовестно лгущими плутами, но даже стать в этом деле мастером, не хуже сыщиков из Скотланд-Ярда; - блеснуть в компании интеллектуалов своим нестандартным пониманием сути знаменитых результатов из области математической логики, известных как теоремы Гёделя о неполноте и теорема Лёба; - решая увлекательные задачи, познакомиться с серьезной научной дисциплиной, именуемой «символическая логика»; - познакомиться с модальной логикой в форме «возможных миров» - миров человеческих мнений или убеждений; понять, какие трудности подстерегают нас при доказательстве непротиворечивости наших рассуждений и в рассуждениях о непротиворечивости наших доказательств.

Related products



Карта мира под старину (в ретро-стиле) А0

Карта мира под старину (в ретро-стиле) А0

Karta mira pod starinu (v retro-stile) A0
Item: 1473226
$11.86
shipped in 14-16 days
Эволюция понятия науки: Становление и развитие первых научных программ

Эволюция понятия науки: Становление и развитие первых научных программ

Evoliutsiia poniatiia nauki: Stanovlenie i razvitie pervykh nauchnykh programm , Gaidenko P.P.
Гайденко П.П.
Item: 1401979
$111.90
shipped in 14-16 days
Физика всего на свете без формул (синяя)

Физика всего на свете без формул (синяя)

Fizika vsego na svete bez formul (siniaia) , Livanov Dmitrii Viktorovich, Salikhov Sergei Vladimi
Ливанов Дмитрий Викторович, Салихов Сергей Владими
Item: 1438807
$29.00
shipped in 14-16 days
Занимательная астрономия. Новое оформление

Занимательная астрономия. Новое оформление

Zanimatel'naia astronomiia. Novoe oformlenie , Perel'man Iakov Isidorovich
Перельман Яков Исидорович
Item: 1373069
$14.72
shipped in 14-16 days
Лекции по теории поля. Теория относительности и релятивистская механика, микроскопическая электродинамика и элементы макроскопической электродинамики

Лекции по теории поля. Теория относительности и релятивистская механика, микроскопическая электродинамика и элементы макроскопической электродинамики

Lektsii po teorii polia. Teoriia otnositel'nosti i reliativistskaia mekhanika, mikroskopicheskaia elektrodinamika i elementy makroskopicheskoi elektrodinamiki , Fomichev S.V
Фомичев С.В
Item: 1435573
$36.58
shipped in 14-16 days
Метеориты. Космические камни, создавшие наш мир

Метеориты. Космические камни, создавшие наш мир

Meteority. Kosmicheskie kamni, sozdavshie nash mir , Gregori Tim
Грегори Тим
Item: 1408578
$25.94
shipped in 14-16 days
Физическая карта мира

Физическая карта мира

Fizicheskaia karta mira
Item: 1481553
$14.72
shipped in 14-16 days
Случайность и необходимость

Случайность и необходимость

Sluchainost' i neobkhodimost' , Mono Zhak
Моно Жак
Item: 1376242
$13.17
shipped in 14-16 days