О Бесконечном

Но существует вполне удовлетворительный путь, по которому можно избежать парадоксов, не изменяя при этом нашей науке. Те точки зрения, которые служат для открытия этого пути и те пожелания, которые указывают нам направление, суть следующие:

1. Мы будем заботливо следить за плодотворными способами образования понятий и методами умозаключений везде, где является хотя бы малейшая надежда, будем ухаживать за ними, поддерживать их, делать их годными к использованию. Никто не может изгнать нас из рая, который создал нам Кантор.

2. Надо повсюду установить ту же надёжность заключений, которая имеется в обыкновенной, низшей теории чисел, в которой никто не сомневается и где возникают противоречия и парадоксы только вследствие нашей невнимательности.

Достижение этой цели возможно, очевидно, лишь после того, как мы полностью выясним сущность бесконечности.

Раньше мы уже выяснили, что какие бы опыты и наблюдения и какую бы отрасль науки мы ни рассматривали, нигде в действительности мы не находим бесконечности. Должны ли мысли о вещах быть столь непохожими на то, что происходит с вещами, должны ли они сами по себе идти другим путём, совершенно в стороне от действительности? Разве не ясно, что когда мы, как нам кажется,  в каком-то смысле познаём реальность бесконечного, на самом деле мы лишь позволяем себе соблазниться чудовищно большими и чудовищно малыми размерами, которые так часто встречаются в действительности. А содержательные логические выводы, когда мы их применяли к действительным вещам или событиям, — разве они нас где-либо обманывали и где-либо нам изменяли? Нет — содержательное логическое мышление необходимо. Оно нас обманывало только тогда, когда мы принимали произвольные абстрактные способы образования понятий; мы в этом случае как раз недозволенно применяли содержательные выводы, т.е. мы, очевидно, не обратили внимания на предпосылки, необходимые для применения содержательного вывода. В признании того, что такие предпосылки имеются и должны приниматься во внимание, мы согласны с философами, особенно с Кантом. Уже Кант учил — и это составляет существенную часть его учения, — что математика обладает не зависящим от всякой логики устойчивым содержанием, и потому она никогда не может быть обоснована только с помощью логики, вследствие чего, между прочим, стремления Дедекинда и Фреге должны были потерпеть крушение. Наоборот, кое-что уже дано в нашем представлении в качестве предварительного условия для применения логических выводов и для выполнения логических операций: определённые, внелогические, конкретные объекты, которые имеются в созерцании до всякого мышления в качестве непосредственных переживаний. Для того чтобы логические выводы были надёжны, эти объекты должны быть обозримы полностью во всех частях; их показания, их отличие, их следование, расположение одного из них наряду с другим даётся непосредственно наглядно, одновременно с самими объектами, как нечто такое, что не может быть сведено к чему-либо другому и не нуждается в таком сведении. Это — та основная философская установка, которую я считаю обязательной как для математики, так и вообще для всякого научного мышления, понимания и общения и без которой совершенно невозможна умственная деятельность. В частности, в математике предметом нашего рассмотрения являются конкретные знаки сами по себе, облик которых, согласно нашей установке, непосредственно ясен и может быть впоследствии узнаваем.

Припомним сущность и методику теорий обыкновенных конечных чисел. Её, разумеется, можно построить отдельно, конструируя числа с помощью содержательных, наглядных соображений. Однако математическая наука отнюдь не исчерпывается числовыми равенствами и не сводится к одним только этим равенствам. Можно утверждать, тем не менее, что она является аппаратом, который при применении его к целым числам всегда должен давать верные числовые равенства. В таком случае ставится требование настолько исследовать строение этого аппарата, чтобы в этом убедиться. Вспомогательным средством при этом служит нам только тот же конкретно содержательный способ рассмотрения и конечная установка мышления, как они применялись для получения числовых равенств при построении теории чисел. Это познавательное требование в действительности выполнимо, т.е. можно получить чисто наглядным, конечным способом — совершенно так же, как получаются истины теории чисел — те рассмотрения, которые ручаются за достоверность математического аппарата.

Рассмотрим теперь ближе теорию чисел. В теории чисел мы имеем знаки:

1, 11, 111, 11111, ...