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