Еще
Логотип LiveLibЛента

Это новая версия страницы. Часть функций ещё в работе — мы добавляем их постепенно.

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

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

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

Жанры

Издательство:

Лори

ISBN:

978-5-85582-335-6

Год издания:

2013

Язык:

Русский

Мягкая обложка, 316 стр.

Тираж: 200 экз.

Формат: 84x108/32 (130х200 мм)

Возрастные ограничения:

18+

Рейтинг LiveLib

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

Рецензии

На эту книгу еще нет ни одной рецензии. Ваша может стать первой.

Популярное

Цитаты

Еще не добавлена ни одна цитата из книги. Ваша может стать первой.