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

онлайн

Светлана Янишевская

Страж королевства (СИ)

Отличная книга! Благодарю автора и сайт.

Olvia44

Замуж с осложнениями

Мило простенько необременительно. На 4 с натяжечкой

онлайн

Светлана Янишевская

Відбір

Чудова книга, читаю вже другий раз! Не відірватися!

Деметра Санкер

Кот Василий

Книга больше подходит для раздела Эротика. История не понравилась, как и персонажи. Роман на любителя.

LaraI63

Стандартная история для этого жанра, сплошные штампы. Главные герои, как обычно - брутальные мужчины с кавказскими именами и внешностью, героини - нежные фиалки с робкими попытками проявить характер. В

LaraI63

Буканьер

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

Зарубежная образовательная литература, зарубежная прикладная, Математика

Автор: Смаллиан Рэймонд Меррилл

Год: 2013

Переводчик: Виталий Валентинович Целищев

Добавил: Admin 16 Апр 21

Проверил: Admin 16 Апр 21

Формат: PDF (3224 Kb)

Currently 0/5

Рейтинг: 0/5 (Всего голосов: 0)

Аннотация

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