«Совершенно ясное и строгое понимание дедуктивных схем пришло лишь в начале XX столетия. В основном это заслуга великого немецкого математика Гильберта. В несколько огрублённой и упрощённой форме дело обстоит примерно так...

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