Ваша оценкаВ книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Геделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечив...
Жанры
Издательство:
ISBN:
978-5-85582-335-6
Год издания:
2013
Язык:
Русский
Мягкая обложка, 316 стр.
Тираж: 200 экз.
Формат: 84x108/32 (130х200 мм)
Возрастные ограничения:
18+
Рейтинг LiveLib
3,5
2 оценки
- 50%
- 450%
- 350%
- 20%
- 10%
Ваша оценкаПрочитали 2Хотят прочитать 14
Рецензии
На эту книгу еще нет ни одной рецензии. Ваша может стать первой.
Цитаты
Еще не добавлена ни одна цитата из книги. Ваша может стать первой.
