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

Раймонд Смаллиан

Издания и произведения

Язык
Год

Бумажные издания

  • Вовеки неразрешимое. Путь к Геделю через занимательные загадки
    Поделиться
    Раймонд Смаллиан
    7 5
    ISBN: 978-5-88373-081-7
    Год издания: 2013
    Издательство: Канон+РООИ "Реабилитация"
    Язык: Русский

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

  • Вовеки неразрешимое. Путь к Геделю через занимательные загадки
    Поделиться
    Рэймонд М. Смаллиан
    7 5
    ISBN: 978-5-88373-081-7, 978-5-88373-319-1
    Год издания: 2013
    Издательство: Канон+РООИ "Реабилитация"
    Язык: Русский

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