Еще
Логотип LiveLib

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

Раймонд Смаллиан - Вовеки неразрешимое. Путь к Геделю через занимательные загадки
18+
User AvatarВаша оценка
4,7
(6)

Вовеки неразрешимое. Путь к Геделю через занимательные загадки

Раймонд Смаллиан
Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Гегеля перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношения с математикой. Это приводит к семантике возможных миров. Которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.

Жанры

Рейтинг LiveLib

4,7
6 оценок
  • 5
    67%
  • 4
    33%
  • 3
    0%
  • 2
    0%
  • 1
    0%
User AvatarВаша оценка
Прочитали 8Хотят прочитать 40

Рецензии

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

Популярное

Цитаты

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

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

Все подборки

Другие издания

  • Вовеки неразрешимое. Путь к Геделю через занимательные загадки
  • Вовеки неразрешимое. Путь к Геделю через занимательные загадки