Отсутствует в электронном формате (epub, fb2)
- 1 433 книги
Ваша оценкаЭта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Гегеля перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношения с математикой. Это приводит к семантике возможных миров. Которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.
Жанры
Рейтинг LiveLib
4,6
5 оценок
- 560%
- 440%
- 30%
- 20%
- 10%
Ваша оценкаПрочитали 6Хотят прочитать 39
Подборки с этой книгой
Библиотека аналитической философии
- 17 книг
Научно-художественная литература
- 51 книга
Хочу прочитать
- 489 книг
Головоломки Загадки Увлекательные задачки
- 11 книг
Другие издания
