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

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

Загрузок: 80

Комментарии: 62

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

Вместе с этим искали

Огород у вас дома

Гипотезы о простых числах

Сысоева Е. Школа в России XVIII - начало XX вв.: власть и общество

Русский язык на 100 баллов. Правописание -Ъ-,- Ь-, -Ы-, -И- после приставок

Фейнмановские лекции по физике. Задачи и упражнения с ответами и решениями



1 thoughts on “Раймонд Смаллиан Вовеки неразрешимое. Путь к Геделю через занимательные загадки”

Want to say something? Post a comment

Ваш e-mail не будет опубликован. Обязательные поля помечены *