История

С точки зрения 20 в. родоначальниками математики явились греки классического периода (6-4 вв. до н.э.). Математика, существовавшая в более ранний период, была набором эмпирических заключений. Напротив, в дедуктивном рассуждении новое утверждение выводится из принятых посылок способом, исключавшим возможность его неприятия. Настаивание греков на дедуктивном доказательстве было экстраординарным шагом. Ни одна другая цивилизация не дошла до идеи получения заключений исключительно на основе дедуктивного рассуждения, исходящего из явно сформулированных аксиом. Одно из объяснений приверженности греков методам дедукции мы находим в устройстве греческого общества классического периода. Математики и философы (нередко это были одни и те же лица) принадлежали к высшим слоям общества, где любая практическая деятельность рассматривалась как недостойное занятие. Математики предпочитали абстрактные рассуждения о числах и пространственных отношениях решению практических задач. Математика делилась на арифметику - теоретический аспект и логистику - вычислительный аспект.