Комбинаторы: взгляд с точки зрения столетия на русском
Combinators: A Centennial View (B098BQ7R6N)
Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI
Stephen Wolfram | #148: История математики
Содержание
Предисловие
Комбинаторы: взгляд с точки зрения столетия:
Высшая символическая абстракция • Вычисления с комбинаторами • Сто лет спустя... • Комбинаторы в природе: немного зоологии • Визуализация комбинаторов • Обновление схем и многопутевых систем • Вопрос о порядке вычисления • Мир S-комбинатора • Причинно-следственные графы и физикализация комбинаторов • Выражения комбинаторов как динамические системы • Доказательство равенства и теорем для комбинаторов • Леммы и структура комбинаторного пространства • Эмпирическая теория вычислений с комбинаторами • Будущее комбинаторов • Исторические и другие заметки
Комбинаторы и история вычислительных технологий:
Абстрактное представление вещей • Из чего состоит математика и логика? • Появление комбинаторов • Какова их математика? • Теорема Гёделя и вычислимость • Лямбда-исчисление • Практические вычисления • Комбинаторы в культуре • Разработка символического языка • Комбинаторы в вычислительной вселенной • Комбинаторы во всех аспектах?
Откуда появились комбинированные компании? История Моисея Шёнфинкеля:
7 декабря 1920 г. • Кто такой Мозес Шёнфинкель? • Начало истории • Поступление в Одесский колледж • Гёттинген, центр математической вселенной • Назревают проблемы • Статья 1924 года • Статья «1927 года» • В Москву и за её пределы... • Другие Шёнфинкели... • Хаскелл Карри • Шёнфинкель заново открыт • Что нам следует думать о Шёнфинкеле?
Немного приблизившись к выяснению того, что стало с Мозесом Шёнфинкелем, изобретателем комбинаторов.
1920, 2020 и приз в размере 20 000 долларов: Объявляем о конкурсе S Combinator Challenge:
Скрываться на виду целое столетие? • Базовая настройка • Работа S Combinator Challenge
Отрывки из книги «Новый вид науки» (2002)
Библиография компаний, занимающихся комбинированием инвестиций:
Фундаментальные документы • Книги • Обзоры и резюме • Комбинаторы как символические выражения • Комбинаторы как математические конструкции • Вычисление комбинаторов • Расширения и приложения • Сложные вопросы
Индекс