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

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