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

Обновлено: 25.12.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 с.

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

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

Примечания

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

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