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






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

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

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

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





Разместил: Gunpowder

28-06-2014, 09:42

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





Сон разума. Математическая логика и ее парадоксы (Мир математики Т. 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)









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

Дискретная математика и математическая логика Дискретная математика и математическая логика
Рассматриваются основные темы дискретной математики и математической логики: теория множеств, элементы комбинаторики, теория графов, теория переключательных функций и автоматов, теория кодирования, формальная логика, логические исчисления,

Игошин В.И. Математическая логика и теория алгоритмов Игошин В.И. Математическая логика и теория алгоритмов
Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены

Математическая логика (+CD-R) Математическая логика (+CD-R)
Математическая логика — Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой.

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

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

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

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

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

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

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






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





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

Ваше Имя:
Ваш 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

Книги