Вовеки неразрешимо. Головоломное руководство по Геделю - Смаллиан Р.М.
Автор: Смаллиан Р.М.
Артикул: 1341075
SKU: VV1341075
ISBN: 9785855823356
Количество страниц: 0
Обложка: Paperback
Год: 2021
Издательство: Лори(Lori)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Артикул: 1341075
SKU: VV1341075
ISBN: 9785855823356
Количество страниц: 0
Обложка: Paperback
Год: 2021
Издательство: Лори(Lori)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Ваша цена:
$55.24
Not In Stock
Краткая аннотация
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех «возможных миров»: эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Лёба и увлекательный анализ взаимоотношения между понятиями «непротиворечивость», «доказуемость» и «разрешимость». Эта книга для тех, кто желает: - не только научиться успешно искать свою подругу, которая иногда улетает на острова, населенные всегда говорящими правду рыцарями и бессовестно лгущими плутами, но даже стать в этом деле мастером, не хуже сыщиков из Скотланд-Ярда; - блеснуть в компании интеллектуалов своим нестандартным пониманием сути знаменитых результатов из области математической логики, известных как теоремы Гёделя о неполноте и теорема Лёба; - решая увлекательные задачи, познакомиться с серьезной научной дисциплиной, именуемой «символическая логика»; - познакомиться с модальной логикой в форме «возможных миров» - миров человеческих мнений или убеждений; понять, какие трудности подстерегают нас при доказательстве непротиворечивости наших рассуждений и в рассуждениях о непротиворечивости наших доказательств.
Похожие товары
Физика с Эйнштейном. Ключевые идеи в популярном изложении
Fizika s Einshteinom. Kliuchevye idei v populiarnom izlozhenii , Vaas RiudigerВаас Рюдигер
Артикул: 1534509
$19.43
Доставка за 14–20 дней
Две стороны Луны. Космическая гонка времен холодной войны
Dve storony Luny. Kosmicheskaia gonka vremen kholodnoi voiny , Leonov Aleksei Arkhipovich, Skott DevidЛеонов Алексей Архипович, Скотт Дэвид
Артикул: 1447615
$50.95
Доставка за 1–3 дня
Как я изобрел электричество
Kak ia izobrel elektrichestvo , Tesla N.Тесла Н.
Артикул: 1477356
$27.97
Доставка за 14–20 дней
Зачем нужна геология. Краткая история прошлого и будущего нашей планеты
Zachem nuzhna geologiia. Kratkaia istoriia proshlogo i budushchego nashei planety , Makdugall DugМакдугалл Дуг
Артикул: 1501926
$15.86
Доставка за 14–20 дней
Моделирование в науке: Когнитивные модели и интеллект
Modelirovanie v nauke: Kognitivnye modeli i intellekt , Baksanskii O.E.Баксанский О.Е.
Артикул: 1460106
$57.37
Доставка за 14–20 дней
Любовь и смерть в живой природе. Брачные игры животных, обряды прощания и другие причуды биологии
Liubov' i smert' v zhivoi prirode. Brachnye igry zhivotnykh, obriady proshchaniia i drugie prichudy biologii , Grasse LeoГрассе Лео
Артикул: 1500546
$15.86
Доставка за 14–20 дней
Вехи науки Российского университета транспорта. В 8 т. Т. 5: монография
Vekhi nauki Rossiiskogo universiteta transporta. V 8 t. T. 5: monografiia , Dukhno N.A.Духно Н.А.
Артикул: 1529318
$42.53
Доставка за 14–20 дней
Математика с Борисом Трушиным. Математические сюжеты: истории, байки, задачи
Matematika s Borisom Trushinym. Matematicheskie siuzhety: istorii, baiki, zadachi , Trushin Boris ViktorovichТрушин Борис Викторович
Артикул: 1510371
$18.26
Доставка за 14–20 дней
