Представление Платона о том, что такое на самом деле математика, имеет прямое отношение к его знаменитой «аллегории Пещеры». Платон подчеркивает, как опасно доверять сведениям, полученным посредством органов чувств человека. Он утверждает, что то, что мы воспринимаем как реальный мир, на самом деле не более реально, чем тени, отбрасываемые на стены пещеры[18]
. Приведу этот примечательный отрывок из «Государства».…Посмотри-ка: ведь люди как бы находятся в подземном жилище наподобие пещеры, где во всю ее длину тянется широкий просвет. С малых лет у них там на ногах и на шее оковы, так что людям не двинуться с места, и видят они только то, что у них прямо перед глазами, ибо повернуть голову они не могут из-за этих оков. Люди обращены спиной к свету, исходящему от огня, который горит далеко в вышине, а между огнем и узниками проходит верхняя дорога, огражденная – глянь-ка – невысокой стеной вроде той ширмы, за которой фокусники помещают своих помощников, когда поверх ширмы показывают кукол… Так представь же себе и то, что за этой стеной другие люди несут различную утварь, держа ее так, что она видна поверх стены; проносят они и статуи, и всяческие изображения живых существ, сделанные из камня и дерева… Разве ты думаешь, что, находясь в таком положении, люди что-нибудь видят, свое ли или чужое, кроме теней, отбрасываемых огнем на расположенную перед ними стену пещеры?
Согласно Платону, все мы – все человечество – не слишком отличаемся от этих узников в пещере, которые принимают тени за реальность (на рис. 9 приведена гравюра Яна Санредама, иллюстрирующая эту аллегорию (1604)). В частности, подчеркивает Платон, математические истины относятся не к окружностям, треугольникам и квадратам, которые можно нарисовать на клочке папируса или начертить палочкой на песке, а к абстрактным объектам, которые пребывают в идеальном мире – вместилище подлинных форм и совершенств. Этот платоновский мир математических понятий отделен от мира физического, и именно там, в этом первом мире, верны математические суждения наподобие теоремы Пифагора. Прямоугольный треугольник, который мы чертим на бумаге, лишь несовершенная копия, приближение к истинному, абстрактному треугольнику.
Рис. 9
Другая фундаментальная проблема, которую Платон подробно исследовал, – это природа математического доказательства как процесса, основанного на