Электронная библиотека

ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Сон разума. Математическая логика и ее парадоксы (Мир математики Т. 22)

Наука и познание >> Математика





Разместил: Gunpowder

28-06-2014, 09:42

Просмотров: 458





Сон разума. Математическая логика и ее парадоксы (Мир математики Т. 22)

Сон разума. Математическая логика и ее парадоксы - На пути своего развития математика периодически переживает переломные моменты, и эти кризисы всякий раз вынуждают мыслителей открывать все новые и новые горизонты. Стремление ко все большей степени абстракции и повышению строгости математических рассуждений неминуемо привело к размышлениям об основах самой математики и логических законах, на которые она опирается. Однако именно в логике, как известно еще со времен Зенона Элейского, таятся парадоксы — неразрешимые на первый (и даже на второй) взгляд утверждения, которые, с одной стороны, грозят разрушить многие стройные теории, а с другой — дают толчок их новому осмыслению.
Имена Давида Гильберта, Бертрана Рассела, Курта Гёделя, Алана Тьюринга ассоциируются именно с рождением совершенно новых точек зрения на, казалось бы, хорошо изученные явления. Так давайте же повторим удивительный путь, которым прошли эти ученые, выстраивая новый фундамент математики.


Название: Сон разума. Математическая логика и ее парадоксы (Мир математики Т. 22)
Автор: Хавьер Фресан
Издательство: Де Агостини
Год: 2014
Страниц: 144
Формат: PDF
Размер: 8,52 МБ
ISBN: 978-5-9774-0682-6, 978-5-9774-0717-5 (т. 22)
Качество: Отличное
Серия или Выпуск: Мир математики
Язык: Русский


Содержание:

Предисловие
Глава 1. Аксиоматический метод
От неевклидовой геометрии - к теории относительности
Новые системы аксиом
Аксиомы арифметики
Чего мы ожидаем от аксиом
Глава 2. Парадоксы
Теория множеств
Парадокс Рассела
Парадокс лжеца
Глава 3. Программа Гильберта
Формализм Гильберта
От языка - к метаязыку
Глава 4. Теоремы Геделя
Теоремы о неполноте
Гёделевская нумерация
Доказательство теорем о неполноте
О чем не говорится в теоремах
Глава 5. Машины Тьюринга
Думать как машина
Вычислимые функции
Проблема остановки
Глава 6. Хорошо кончается то, что не кончается
Нечеткая логика
Сложность
Гёдель, Тьюринг и искусственный интеллект
Библиография
Алфавитный указатель


Скачать Сон разума. Математическая логика и ее парадоксы (Мир математики Т. 22)









Похожие публикации

Мир математики №1-45 + Спецвыпуск №1-2 + Описание коллекции. Полная коллекция Мир математики №1-45 + Спецвыпуск №1-2 + Описание коллекции. Полная коллекция
«Мир математики» — уникальная и занимательная коллекция, которая поможет ответить на самые каверзные вопросы математики сопровождающие нас изо дня в день, хотя мы об этом можем даже не догадываться. Увлекательное путешествие через вселенную

Колмогорова А.Н., Юшкевича А.П. (ред.) - Математика XIX века: Математическая логика. Алгебра. Теория чисел. Теория вероятностей Колмогорова А.Н., Юшкевича А.П. (ред.) - Математика XIX века: Математическая логика. Алгебра. Теория чисел. Теория вероятностей
Предлагаемый вниманию читателей коллективный труд «Математика XIX века», за которым последует «Математика XX века», служит продолжением трехтомной «Истории математики с древнейших времен до начала XIX столетий», опубликованной в 1970—1972 гг. г. По

Шар бесконечного объема. Парадоксы измерения (Мир математики Т. 41) Шар бесконечного объема. Парадоксы измерения (Мир математики Т. 41)
Можно ли разрезать шар на несколько частей так, чтобы собрать из них два шара, равных исходному? Здравый смысл подсказывает, что нет. Однако в 1924 году Стефан Банах и Альфред Тарский математически доказали, что шар можно удвоить, просто разрезав

Математическая планета. Путешествие вокруг света (Мир математики Т. 40) Математическая планета. Путешествие вокруг света (Мир математики Т. 40)
В этой книге пойдет речь об этноматематике, то есть об особенностях методов счисления, присущих разным народам. Хотя история современной математики - часть европейского культурного наследия, опирается она на неакадемические пласты, существовавшие

Зарипова Э.Р., Кокотчикова М.Г. - Дискретная математика. Часть III. Теория графов Зарипова Э.Р., Кокотчикова М.Г. - Дискретная математика. Часть III. Теория графов
В пособии излагаются основы теории графов и алгоритмов на графах. Книга является продолжением курса дискретной математики: «Часть I. Комбинаторика» и «Часть II. Математическая логика». Теория графов является частью науки дискретной математики.

Математическая логика. Курс лекций Математическая логика. Курс лекций
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого

Математическая логика и ее применения Математическая логика и ее применения
Предлагаемая читателю книга является сборником, составленным из докладов, представленных выдающимися зарубежными учеными на первом Международном конгрессе по логике, методологии и философии науки, состоявшемся в 1960 г. в Станфорде (США). В сборник

Математика 19 века. Математическая логика. Алгебра. Теория чисел. Теория вероятностей Математика 19 века. Математическая логика. Алгебра. Теория чисел. Теория вероятностей
Содержание: математическая логика алгебра и алгебраическая теория чисел проблемы теории чисел теория вероятностей

Сергиевская И.М. - Математическая логика и теория алгоритмов (2004|pdf) Сергиевская И.М. - Математическая логика и теория алгоритмов (2004|pdf)
Математическая логика и теория алгоритмов Математическая логика и теория алгоритмов являются основой учебного курса дискретной математики, что нашло отражение в данном учебном пособии. Учебное пособие адресовано студентам, обучающимся по

Математическая логика Математическая логика
В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги




Союз образовательных сайтов