- Платоник
- человек, придерживающийся взглядов Платона, то есть считающий, что существуют идеальные сущности, первичные по отношению к наблюдаемым вещам, "идеи" вещей, предельное обобщенные, смысл, сущность, то, что позволяет материи сформировать собственно вещь; причем идеи вещей существуют сами по себе (здесь математик-платоник - это математик, являющийся по философским взглядам платоником, не путать с математиком-платонистом, см. ниже - примечание):ஐ "А с точки зрения математика-платоника, существуют идеальные математические объекты, являющиеся обозначениями понятий, которые он использует в своей работе, например: окружности, точки, шара, прямой линии и т.д. - эти объекты, по мнению платоника, существуют в иной форме, чем обычные предметы, так же как в иной форме обретаются херувимы и серафимы". Фантастика и футурологияஐ "Дело в том, что в вопросе искусственного интеллекта и метаматематики я являюсь не платоником, а, скорее, натуралистом". - Мгновение. Интеллект, разум, мудростьஐ "Пенроуз является известным математиком, внесшим значительный вклад в теоретическую физику, особенно квантовую, и, кроме того, он не только сведущ в фундаментальной математической структуре Вселенной в ее наибольших и наименьших измерениях, но также explicite является платоником". - Мгновение. Иная эволюцияஐ "В этих дебрях блуждают платонистские идеи и прочие духи, и хотя Эшби и утверждал, будто кибернетика справится с любыми духами, лишь бы они блуждали закономерно, но тут и кибернетика бессильна". - Сумма технологииПримечание. Платонизм - одна из концепций не в собственно математике, а в "основаниях математики", которыми занимаются логики, философы и т.п., математик может заниматься основаниями математики - но это занятие математикой, вообще говоря, не является. Математика вообще занимается идеальными объектами, и платонизм, которым занимаются математики-платонисты, хотя и происходит от идей Платона, никакого интереса к первичности/вторичности идеальных объектов не проявляет - математика вообще имеет дело только с идеальными объектами и вопрос об их отношениях к реальному (материальному) миру выходит за ее рамки. Различные подходы к основаниям математики (платонизм, интуиционизм, конструктивизм, формализм, пофигизм) различаются, главным образом в ответе на вопрос, можно ли надежно (непротиворечиво) мыслить о бесконечных множествах как актуально (уже, разом) существующих. Платонисты считают что можно. Интуиционисты, в зависимости от их матерости, отрицают возможность рассмотрения различных бесконечных множеств, ультраинтуиционисты (первым, кажется, был Есенин-Вольпин, сын Сергея Есенина и известный диссидент) отрицают наличие даже сколь угодно больших конечных множеств; конструктивисты отличаются от интуиционистов отсутствием ссылок на разного рода философские обоснования, главным образом; формалисты вообще отпихиваются от вопроса о существовании объектов помимо как в формальных теориях, то есть перепихивают вопрос в другое место. Пофигисты - к ним принадлежит подавляющее большинство реально работающих в математике математиков - на практике ведут себя как стихийные платонисты.
Мир Лема - словарь и путеводитель. Л.А. Ашкинази. 2004.