В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех «возможных миров»: эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Геделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями «непротиворечивость», «доказуемость» и «разрешимость».
Вовеки неразрешимо. Головоломное руководство по Геделю. Смаллиан Р.
ПрозаВ книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех «возможных миров»: эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные…
$29.99
Вес | 11 унция |
---|---|
Габариты | 8.5 × 5.7 × 1.0 дюйм |
ISBN | 978-5-85582-335-6 |
EAN | 9785855823356 |
Формат | 84×108/32 |
Издательство | |
Переплет | Мягкий переплет |
Автор | |
Стандарт | 10 |
Дата получения | 02.03.2022 |
Год выпуска | |
Количество страниц | 312 |
SKU | 10209210 |
Формат, мм\см | 130×200 |
Язык | |
Тип издания | Отдельное издание |
Тираж | 200 |