|
Существует еще одна школа мысли о природе математики, платоновский реализм . Математики, принадлежащие к этой школе, с презрением отвергают точку зрения формалистов, считающих математику занятием, порождающим лишь бессмысленные строчки символов. Они также с презрением отвергают настойчивые утверждения интуиционистов о том, что математика является проекцией ума, что существование не имеет смысла, пока не проведено его доказательство, и что в отсутствии сознания нет никаких чисел и никаких параллельных линий. Подобно формалистам и интуиционистам, они признают недостаточность логицистического утверждения о том, что математика есть не более чем ветвь логики, и соглашаются с ними, что математика больше, чем логика. Платоники , как называют этот род математиков, считают, что отсутствующая компонента является реальностью. Математики-платоники являются горняками в забое, разрабатывающими залежи предсуществующих закономерностей и пробивающие свои штреки киркой интеллектуальной рефлексии о мире. Они добывают истину, а не вводят ее. Для них числа являются реальными сущностями, а отношения между числами являются утверждениями об существующих объектах. Для них прямые линии, треугольники и сферы реальны как скалы, а арифметические истины (которые, напомним, означают любой вид математической истины, а возможно, даже более того) являются комментариями к некоему роду существования. Таким образом, они отвергают стерильное равнодушие формализма и субъективную запутанность интуиционизма и считают, что они являются такими же учеными, как и все мы. Они извлекают вневременные истины и находясь в яростной оппозиции к установке интуиционистов, считают, что истины существуют даже в том случае, если их доказательство еще не сформулировано. Я рассмотрю теперь две из важнейших проблем Гильберта, те две, которые наносят удар в самое сердце философии математики и наиболее прямо исследуют ее возможности. Как я уже упоминал, одной из этих проблем является так называемая Entscheidungsproblem , проблема отыскания систематического способа для определения того, можно ли доказать некоторое утверждение символического языка с помощью аксиом этого языка. Атаку на эту проблему почти одновременно предприняли двое, одним был американский логик Алонзо Чёрч (1903-95), который ввел и разработан то, что он назвал ?-исчислением, а другим — британский математик Алан Мэтисон Тьюринг (1912-54), который ввел «логическую вычислительную машину», известную как машина Тьюринга . Эти два подхода изначально были различны на поверхностном уровне, но сотрудничество Чёрча и Тьюринга показало, что на самом деле они математически эквивалентны. Существует одна чрезвычайно важная сильная сторона математики, ее способность показывать эквивалентность с виду совершенно несравнимых вещей. Мы сосредоточим внимание на подходе Тьюринга, поскольку он имеет больше сходства со знакомым нам современным миром компьютеров, но не должно пройти незамеченным, что ?-исчисление Чёрча ассоциируется с используемым в них программным обеспечением и является его основой. — 277 —
|