Сон разума. Математическая логика и ее парадоксы (Мир математики Т. 22) » КнигаRU.INFO - Библиотека электронных книг
Логин:
Пароль:
Поиск:


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

28-06-2014, 19:07 Gunpowder

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

 (голосов: 0)

Купить эту книгу в бумажном исполнении с доставкой:


Расскажи о книге друзьям :

Другие публикации по данной теме :

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Поиск от Яндекса
Реклама

Календарь
«    Ноябрь 2017    »
ПнВтСрЧтПтСбВс
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
 


Архив
Ноябрь 2017 (649)
Октябрь 2017 (939)
Сентябрь 2017 (919)
Август 2017 (844)
Июль 2017 (988)
Июнь 2017 (1013)