|
Двигаясь дальше, мы можем также предположить, что простые операции с этими понятиями также структурно представлены в программном обеспечении нашего мозга. Эта идея предполагает, что лежащие в основе других операций логические операции являются встроенными и у нас есть программно обеспеченная способность к построению алгоритмов. Я не утверждаю, что эта способность принадлежит исключительно мозгу: сегодня существует большой интерес к умозрительным предположениям о существовании нелокальной активности мозга, которая дает нам возможность рассматривать связи неалгоритмическими способами, и кое у кого имеются умозрения (Роджер Пенроуз является ведущим пропагандистом этого взгляда), что сознание есть внутренне нелокальный квантовый феномен. Хотя я был бы удивлен, если бы это оказалось правдой, это не станет составной частью моего собственного умозрения, когда я сконцентрируюсь на алгоритмических процессах в мозгу, на гильбертовском алгоритмическом сопроцессоре для большей, более метаматематической, возможно, нелокальной способности мозга. Коротко говоря, для алгоритмических вычислений мы можем занять позицию, которую допустимо назвать «структуралистской», подобной той, с которой Ноам Хомский смотрел на внутреннюю способность человека к языку, и представлять себе нашу логическую способность как кантовское проявление программно обеспеченной алгоритмической компоненты мозга, которая возникла под давлением эволюции. Наша способность создавать математические взаимосвязи, выводить теоремы и так далее является следствием этой структуры. Двигаясь из головы наружу, нам следует теперь рассудить, почему физический мир представляется рукой в математической перчатке. Здесь я вступаю на еще более предательскую спекулятивную почву. Мы видели связь чисел с множествами и принадлежащее Фреге отождествление чисел с расширениями определенных множеств. В подобном же духе веселый венгро-американский математик Джон (Иоганн) фон Нейман (1903-57), которого считают, наряду с Тьюрингом, отцом современного компьютера, предложил возможность отождествления натуральных чисел с некоторыми очень простыми множествами. А именно, он идентифицировал 0 с пустым множеством , множеством, не содержащим элементов. Затем он перешел к отождествлению 1 с множеством, содержащим пустое множество, 1 = , 2 с множеством, содержащим пустое множество и множество, которое содержит пустое множество, 2 = , , затем 3 = , , , , и так далее.[53] Так фон Нейман закрутил весь мир чисел из абсолютного ничто и дал нам арифметику ex nihilo. — 287 —
|