RUSSIAN

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

By Смаллиан Р.

Book information

Publisher
«Канон+»
Year
2013
Language
russian
Format
DJVU
Filesize
2 MB (2410614 bytes)
Pages
\305
Time added
2017-02-26 00:11:22

Description

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

Similar books