Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан
sku: 8673227
1,099.00 руб.
Shipping from: Russia
Description
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания.
Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
Technical Details
author: | Смаллиан Рэймонд М. |
binding: | 84х108/32 |
ISBN: | 978-5-8558-2335-6 |
page_extent: | 312 |
publisher: | Лори |
Type: | book |
year: | 2018 |
Price history chart & currency exchange rate