Критика интуиционистами основ логицизма и проблема бесконечности. Новая ориентация в обоснованиях, впервые заявившая о себе в 1907 г. представляла реакцию на попытки придать математике чисто логическое истолкование.
Интуиционисты Я. Брауэр, Г. Вейль, А. Гейтинг, чуть ранее Л. Кронекер и др. в противовес этому исходили из того, что математика не может быть сведена к логике, ибо уходит в структуры мысли глубже ее, логика связана с языком, который, как показали парадоксы, несовершенен.
Поэтому математика не нуждается ни в языке, ни в логике, ибо будучи независимой, автономной от языка, опирается на интуицию. Как полагает голландский математик Я. Брауэр, считающийся основателем интуиционизма, математические мысли рождаются вне слов, слова используются только для передачи мысли, математическое содержание которой не зависит от словесного одеяния. Мысли нельзя выразить адекватно в языке даже в математическом языке, поскольку он вносит отклонения от предмета.
Все это и делает правомерным для интуиционистов вывод о независимости математики от языка и логики. Более того ими высказывается тезис о том, что логика есть часть математики и была в свое время абстрагирована от последней, именно - от математики конечных множеств. Вместе с тем это не означает отрицания роли логики вообще. Новые установки повлекли пересмотр фундаментальных математических понятий, принципов и методов, затрагивая не только идеи логицизма, но и всей традиционной математики.
Прежде всего подвергся критике принцип бесконечности. Математическое построение конечно, но не любое построение может быть выполнено фактически, поскольку для его получения надо совершить бесконечное количество шагов. Тем не менее математика свободно оперирует с подобными конструктами. Почему? Как показал отечественный математик, сторонник конструктивистского течения, А. Марков, математик имеет дело не с самой бесконечностью, но лишь с ее абстракцией. От возможности построения подобных объектов отвлекаются, принимая ее лишь в абстрактном смысле.
Это наше действие и опирается на абстракцию осуществимости. Реальное построение бесконечного объекта с точки зрения интуиционизма невозможно, но оно, кажется осуществимым, либо даже осуществлено если заранее задано. Наиболее сильным допущением является актуальная осуществимость объект существует, если мыслим без противоречий. На этом основании и строилась актуальная то есть осуществленная, заданная всеми своими элементами, бесконечность например, натуральный ряд чисел.
Благодаря такой абстракции математики оперируют с бесконечными множествами. Другой представитель отечественного конструктивизма Н. Шанин показал гносеологический механизм образования понятия бесконечности. Он поясняет, что, имея набор конструктивных средств построения математических объектов, мы можем допустить, что эти объекты не только осуществимы потенциально, но и построены фактически.
Необходимы четыре шага. 1 Вводим наряду с реальной, природою данной бесконечностью математическую бесконечность как возможность 2 мысленно приравниваем воображаемую ситуацию к реальной, при этом рассуждаем об этом воображаемом построении, применяя методы классической логики 3 полагаем сконструированную нами бесконечность независимой от набора конструктивных операций 4 принимаем бесконечную совокупность одновременно существующих объектов в качестве не связанных вообще с какими-либо конструктивными операциями даже и своим происхождением87. Неудовлетворенность традиционной позицией, на которой базировался логицизм, вызывали несколько моментов.
Во-первых, невозможность найти в бесконечном множестве заданный элемент, именно потому, что число элементов бесконечно. Против идеи актуальной бесконечности восставала интуиция. Заданная всеми элементами бесконечность уже не бесконечность. Множество потому и бесконечно, что не закончено, между тем его предлагают завершить, то есть фактически уничтожить и в то же время - сохранить как бесконечное.
Это противоречие, ибо натуральный ряд мыслится как неограниченно продолженный. Вызывало недоумение и то следствие теории, что в случае бесконечных множеств теряла силу аксиома - часть меньше целого. Действительно, если удается каждому элементу класса сопоставить один и только один элемент другого класса, значит, они равномощны, эквивалентны. Так, множество целых чисел натурального ряда эквивалентно множеству квадратов этих чисел, то есть часть оказывается равна целому, ибо невозможно указать какое-либо натуральное число, которому мы не могли бы сопоставить квадрат этого числа.
Эти и другие моменты ставили под сомнение методы теоретико-множественного подхода Г. Кантора, а тем самым и концепцию логицизма. Математический объект принимается существующим, если он мыслим без противоречий, между тем сказанное логические парадоксы, актуализация бесконечности, вывод о том, что часть равна целому как раз свидетельствовало о глубине противоречивости в построениях Кантора Имея в виду отмеченные неувязки, интуиционисты назвали канторову теорию множества любопытным патологическим казусом, от которого грядущие поколения придут, вероятно, в ужас. 5.