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

Есть довольно популярный вопрос, который часто возникает у любителей популярной науки и во многом следует из здравой логики. Звучит он так: А как вообще математика что-то доказывает? Как строится эта странная логика и почему можно говорить, что, например, математические выкладки Эйнштейна имеют и физический смысл? Ведь по сути человек просто записал цифры и обработал их по какому-то странному механизму. Это очень хороший и невероятно интересный вопрос! Давайте попробуем найти простой ответ, хотя будет и сложно...