В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания.
Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
Чтобы оставить свою оценку и/или комментарий, Вам нужно войти под своей учетной записью или зарегистрироваться
Пока никто не оставил впечатление о книге...
Пока никто не оставил цитат из этой книги...
Автор | Уикс Маркус , М. Уикс |
Жанр | Философия, Прикладная философия |
Год | 2021 |
Автор | |
Жанр | Философия, Прикладная философия |
Год | 2013 |
Автор | Г. Горнова |
Жанр | Философия, Прикладная философия |
Год | 2014 |
Автор | Ницше Ф. |
Жанр | Философия, Прикладная философия |
Год | 2019 |
Автор | |
Жанр | Философия, Прикладная философия |
Год | 2017 |
Автор | |
Жанр | Философия, Прикладная философия |
Год | 2021 |