Вовеки неразрешимо. Головоломное руководство по Гёделю

Здесь можно скачать "Вовеки неразрешимо. Головоломное руководство по Гёделю", год 2018 в формате fb2 полную версию бесплатно без регистрации и SMS, а также читать онлайн книгу на сайте ПараКниг (paraknig.me)

Год издания: 2018
Полная версия книги

Рейтинг

Содержание книги - Вовеки неразрешимо. Головоломное руководство по Гёделю Смаллиан Р.

Вовеки неразрешимо. Головоломное руководство по Гёделю - описание и краткое содержание, автор Смаллиан Р., читайте бесплатно онлайн на сайте электронной библиотеки paraknig.me

В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания.
Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".





Чтобы оставить свою оценку и/или комментарий, Вам нужно войти под своей учетной записью или зарегистрироваться


Пока никто не оставил впечатление о книге...


Пока никто не оставил цитат из этой книги...

Другие книги авторавсе книги
Как же называется эта книга?
Как же называется эта книга?
Как же называется эта книга
Алиса в Стране Смекалки
Приключения Алисы в Стране Головоломок
Принцесса или тигр?
Другие книги жанраПрикладная философия
Что бы сказал Ницше: Как великие философы решили бы ваши проблемы
Онтология права критическое исследование юридического концепца действительности
Философия города
Исследование о человеческом разумении
О скупости и связанных с ней вещах тема и вариации