ru

Комбинаторы: взгляд с точки зрения столетия на русском

#1357616
Комбинаторы: взгляд с точки зрения столетия

Combinators: A Centennial View (B098BQ7R6N)

Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI

Stephen Wolfram | #148: История математики

4.0 (70)
Комбинаторы вдохновляли идеи о вычислениях с момента своего изобретения в 1920 году, и в этой новаторской книге Стивен Вольфрам предлагает современный взгляд на комбинаторы и их значение. Опираясь на свои работы по вычислительной вселенной возможных программ и проектированию вычислительных языков, Вольфрам объясняет новые и существующие идеи о комбинаторах с уникальной ясностью и потрясающими визуализациями, а также рассказывает об их исторических связях и любопытной истории Мозеса Шёнфинкеля, изобретателя комбинаторов. Хотя комбинаторы были изобретены задолго до машин Тьюринга, их часто рассматривали как недоступный абстрактный подход к вычислениям. Эта книга оживляет их как никогда прежде в увлекательном и доступном для широкого круга читателей изложении, представляющем интерес для математики и информатики, а также для тех, кто занимается основами формального и вычислительного мышления и историей идей.

Содержание

Предисловие

Комбинаторы: взгляд с точки зрения столетия:
Высшая символическая абстракция • Вычисления с комбинаторами • Сто лет спустя... • Комбинаторы в природе: немного зоологии • Визуализация комбинаторов • Обновление схем и многопутевых систем • Вопрос о порядке вычисления • Мир S-комбинатора • Причинно-следственные графы и физикализация комбинаторов • Выражения комбинаторов как динамические системы • Доказательство равенства и теорем для комбинаторов • Леммы и структура комбинаторного пространства • Эмпирическая теория вычислений с комбинаторами • Будущее комбинаторов • Исторические и другие заметки

Комбинаторы и история вычислительных технологий:
Абстрактное представление вещей • Из чего состоит математика и логика? • Появление комбинаторов • Какова их математика? • Теорема Гёделя и вычислимость • Лямбда-исчисление • Практические вычисления • Комбинаторы в культуре • Разработка символического языка • Комбинаторы в вычислительной вселенной • Комбинаторы во всех аспектах?

Откуда появились комбинированные компании? История Моисея Шёнфинкеля:
7 декабря 1920 г. • Кто такой Мозес Шёнфинкель? • Начало истории • Поступление в Одесский колледж • Гёттинген, центр математической вселенной • Назревают проблемы • Статья 1924 года • Статья «1927 года» • В Москву и за её пределы... • Другие Шёнфинкели... • Хаскелл Карри • Шёнфинкель заново открыт • Что нам следует думать о Шёнфинкеле?

Немного приблизившись к выяснению того, что стало с Мозесом Шёнфинкелем, изобретателем комбинаторов.

1920, 2020 и приз в размере 20 000 долларов: Объявляем о конкурсе S Combinator Challenge:
Скрываться на виду целое столетие? • Базовая настройка • Работа S Combinator Challenge

Отрывки из книги «Новый вид науки» (2002)

Библиография компаний, занимающихся комбинированием инвестиций:
Фундаментальные документы • Книги • Обзоры и резюме • Комбинаторы как символические выражения • Комбинаторы как математические конструкции • Вычисление комбинаторов • Расширения и приложения • Сложные вопросы

Индекс