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

Обновлено: 04.11.2024

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

Содержание

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

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

в рейтинге жанра « Логика » в октябре 2021

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

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

Покупатели

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

Биография

Родился в Нью-Йорке, в семье еврейских эмигрантов российского происхождения Исидора и Розы (Розины) Шмульян (позднее Смаллиан). Отец (уроженец местечка Жагоры Ковенской губернии) был выпускником Антверпенского университета, играл на скрипке и занимался производством канцелярских товаров; мать (Розина Смаллиан, урождённая Фриман, 1875—1961) была художницей и играла на фортепиано.

Учился в одном классе с Ричардом Фейнманом, будущим физиком. В детстве брал уроки фортепиано у Виктора Хуттенлохера и скрипки у Рэймонда Хуттенлохера. В 1961—1968 годах преподавал в Иешива-университете, с 1968 года — в Колледже Леман, с 1982 года — в Индианском университете.

Автор многочисленных научно-популярных книг по логике и математике: о логических загадках и парадоксах, передовых концепциях логики, например, о теореме Гёделя о неполноте. В его книге о шахматах «Шахматные приключения Шерлока Холмса» (англ. The Chess Mysteries of Sherlock Holmes; 1979) в стиле произведений Артура Конан Дойля о Шерлоке Холмсе и Докторе Ватсоне описано введение в ретроспективный анализ.

Кроме того, написал несколько книг о даосской философии, в которых предпринята попытка разрешения большинства философских проблем и интеграции математики, логики и философии.

Его брат Эмиль (Emile Benoit Smullyan, 1909—1978) — американский социолог. Двоюродный брат — канадский демограф Натан Кейфиц (1913—2010).

Следующая загадка

Рэймонд Меррилл Смаллиан (англ. Raymond Merrill Smullyan; 25 мая 1919, Куинс, Нью-Йорк — 6 февраля 2017) — американский математик, пианист, логик, даосский философ и фокусник-престидижитатор.

Список произведений на английском языке

Логические головоломки

(1978) What Is the Name of This Book?
(1979) The Chess Mysteries of Sherlock Holmes
(1981) The Chess Mysteries of the Arabian Knights
(1982) The Lady or the Tiger?
(1982) Alice in Puzzle-Land
(1985) To Mock a Mockingbird
(1987) Forever Undecided
(1992) Satan, Cantor and Infinity
(1997) The Riddle of Scheherazade
(2007) The Magic Garden of George B. And Other Logic Puzzles, Polimetrica (Monza/Italy)
(2009) Logical Labyrinths, A K Peters
(2010) King Arthur in Search of His Dog and Other Curious Puzzles, Dover

Философия

(1977) The Tao is Silent
(1980) This Book Needs No Title
(1983) 5000 B.C. and other philosophical fantasies
(2002) Some Interesting Memories: A Paradoxical Life
(2003) Who Knows?: A Study of Religious Consciousness
(2009) Rambles Through My Library, Praxis International

Научные труды

Следующая загадка

На русском языке

Как же называется эта книга? Пер. с английского и предисл. Ю. А. Данилова. М.: Мир, 1981. — 238 с.
Принцесса или тигр? Пер. с английского И. Е. Зино. М.: Мир, 1985. — 221 с.; М.: ИД Мещерякова, 2009. — 352 с.
Алиса в стране смекалки. Пер. с английского Ю. А. Данилова, рис. Г. Фиттинга. М.: Мир, 1987. — 182 с., ил.
Приключения Алисы в Стране Головоломок. Пер. с английского Е. А. Трофимовой., илл. Н. М. Крашина. М.: «Просвещение», 2008. — 176 с.
Молчаливое Дао. Пер. с английского В. В. Целищева. — М.: «Канон+», РООИ «Реабилитация», 2012. — 224 с.
Шахматные тайны. 100 труднейших задач, связанных с расследованиями в области шахмат. Пер. с английского П. Быстров. М.: «Канон +», 2012. — 240 с.
Загадка Шахразады и другие удивительные древние и современные головоломки. Пер. с английского П. Быстров. М.: «Лори», 2012. — 260 с.
Вовеки неразрешимое. Путь к Геделю через занимательные загадки. Пер. с английского В. В. Целищева. — М.: «Канон+» РООИ «Реабилитация», 2012. — 303 с.
Вовеки неразрешимо. Головоломное руководство по Геделю. Пер. с английского П. Быстрова. — М.: Лори, 2013. — 316 с.

Следующая загадка

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

Примечания

Для улучшения этой статьи по логике желательно:

Читайте также: