Статья
Как человечество научилось рассуждать: от Аристотеля до программ и категорий
Две полноценные редакции одной истории: человеческий путь от убеждения к доказательству и инженерный путь от требования к типам, политикам, тестам и архитектуре.