Вычисление как финитизация. Одна диагональ объединяет неразрешимости; один дискриминант держит разрешимую сторону — две стороны одной границы.
Главы:
- Глава 1. Вычисление как финитизация
- Глава 2. Конечная память и лестница Хомского
- Глава 3. Одна диагональ: halting, Райс, Кантор, Колмогоров
- Глава 4. Один дискриминант: редукционный атлас и разрешимая сторона
- Глава 5. Типобезопасность как fuel-финитизация
- Глава 6. Сложность как цена финитизации
- Глава 7. Синтез: одна диагональ, один дискриминант
Том: «Математика» · Направление: Математика