Валерий Еровенко, заведующий кафедрой общей математики и информатики Белорусского государственного университета, доктор физико-математических наук, профессор.

До древних греков на протяжении многих тысячелетий люди превосходно обходились без дедуктивной математики, вполне удовлетворяясь отысканием работоспособных эмпирических формул. Однако с течением времени ситуация изменилась. В соответствии с духом древнегреческих общин свободные граждане совместно обсуждали насущные дела, и, чтобы чье-либо мнение было принято, его нужно было доказать и аргументировать. Именно логическая правильность убедительного суждения перешла в математику из сферы общественных отношений. Отсюда — начало дедуктивного метода в математике, приближающегося к современным представлениям о доказательстве.

Пожалуйста, оформите подписку для того, чтобы получить доступ к данной статье.