Еще
Логотип LiveLib

Это бета-версия LiveLib. Сейчас доступна часть функций, остальные из основной версии будут добавляться постепенно.

Рэймонд М. Смаллиан - Вовеки неразрешимо. Головоломное руководство по Геделю
18+
User AvatarВаша оценка
3,5
(2)

Вовеки неразрешимо. Головоломное руководство по Геделю

Рэймонд М. Смаллиан
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Геделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечив...

Жанры

Рейтинг LiveLib

3,5
2 оценки
  • 5
    0%
  • 4
    50%
  • 3
    50%
  • 2
    0%
  • 1
    0%
User AvatarВаша оценка
Прочитали 2Хотят прочитать 14
Популярное

Подборки с этой книгой

Все подборки