Идет 1902 год, немецкий философ, а заодно логик и математик, Фридрих Людвиг Готлоб Фреге терпеливо трудится над вторым томом "Основных законов арифметики". И вот, когда основная работа подходит к концу, к нему приходит письмо от другого мастодонта логики - англичанина Бертрана Рассела...

Фото Фреге хотел дать математике чисто логические основы, усилие, которое стало известно, как логическая программа. Он намеревался вывести все истины арифметики из чисто логических принципов (аксиом), используя только логические правила. Для этого, однако, Фреге пришлось «математизировать» логику, чтобы сделать ее пригодной для логической программы, дабы функционировать как основной концептуальный строительный блок его системы. Явно вдохновленный традицией искусственных языков 17-го века (в частности,...