Главная > Логика > Книга «Вовеки неразрешимо: Головоломное руководство по Геделю»
О чем не говорят конспирологи

Вовеки неразрешимо: Головоломное руководство по Геделю

Вовеки неразрешимо: Головоломное руководство по Геделю
Издательство: Лори, 2013
Жанр: Логика
Страниц: 320 страниц

ID книги: 3132203
Загрузил: admin,

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

Формат Размер Дата загрузки Загрузил Скачиваний *
Скачать Показать QR-код fb2-файла fb2 2 041 КБ 20 декабря 2016 admin 1879
Скачать Показать QR-код epub-файла epub 1 081 КБ 20 декабря 2016 admin 405
* статистика скачиваний с 20 декабря 2016
Чтобы иметь возможность оставлять комментарии
вам необходимо войти под своим именем или зарегистрироваться.

Для правильной работы fb2Мира используйте только последние версии браузеров: Chrome, Opera или Firefox.
В других браузерах работа fb2Мира не гарантируется!
Ваша дата определена как 23 ноября 2024
Рейтинг@Mail.ru
© 2008–2024 fb2Мир