Некоторое представление о степени развития математики в эпоху от Пифагора до Платона мы можем получить из текстов по геометрии, изложенных в книгах 1–5 «Элементов» Евклида, а эти книги – новая редакция более ранних пифагорейских трактатов по геометрии7. Кроме того, получить ответ нам помогают рассказы и некоторые теоремы. «Теорема Пифагора», предположительно открытая самим Пифагором, породила много легенд. Аристотель сообщает, что пифагорейцы знали и давали ученикам своей школы еще в начале учебы доказательство того, что диагональ единичного квадрата несоизмерима с этой стороной. Это доказательство, которое мы применяем до сих пор, показывает, что техника построения доказательств и способность при необходимости мыслить отвлеченно у пифагорейцев достигали очень высокого уровня8. Сообщения о том, что пифагорейцы отождествляли правильные геометрические тела с молекулами материального мира, говорят, что ученых этой школы интересовало применение математических методов к изучению твердых тел и применение математики к естественным наукам. Мы также обнаружим сообщение о «сите» – методе, позволявшем выбрать из последовательности чисел все простые числа, и своеобразные зачатки теории чисел.
Этих подсказок достаточно, чтобы стало очевидно, что речь идет действительно о качественно новом понимании формы. Теперь нам нужно рассмотреть философские последствия утверждения, что «числа – это вещи», которое обобщает эти новые представления. Может быть, мысль пифагорейцев станет яснее, если мы перефразируем эти слова и скажем «числа реальны», поскольку слово «вещи» в современном языке ассоциируется с материальными предметами, а это искажает смысл изречения. Но в каком смысле числа или формы реальны? Во-первых, они существуют независимо от наблюдателя: хотим мы того или нет, два плюс два всегда будет равно четырем, и два всегда будет четным простым числом. У них, в отличие от бесформенной или безграничной пустоты Анаксимандра, есть точные индивидуальные характеристики: каждое число является только самим собой. Числа – нечто общее для всех: они для всех наблюдателей одни и те же, в отличие от субъективных фантазий какого-либо человека или проходящих со временем впечатлений. Они системно связаны между собой. Всех этих свойств, кажется, достаточно для того, чтобы признать форму, число и соотношение чисел чем-то реальным. Но они реальны по-иному, чем материальные объекты: в отличие от них, числа не имеют ни прошлого, ни места в пространстве и существуют в мире, где нет ни движения, ни изменения. И числа видимы только уму: мы не можем коснуться их или смотреть на них, как смотрим на камень или