С философской точки зрения наметились две противоположные тенденции: одна-приятная, другая-неприятная. Приятная состояла в том, что необходимый логический аппарат вышел не столь громоздким, как я вначале предполагал. Точнее, оказались ненужными классы. В “Принципах математики” много обсуждается различие между классом как единым (one) и.классом как многим (many). Вся эта дискуссия вместе с огромным количеством сложных доказательств оказалась, однако, ненужной. В результате работа в ее окончательном виде была лишена той философской глубины, первым признаком которой служит темнота изложения.

Неприятная же тенденция была, без сомнения, очень неприятной. Из.посылок, которые принимались всеми логиками после Аристотеля, выводились противоречия. Это свидетельствовало о неблагополучии в чем-то, но не давало никаких намеков на то, каким образом можно было бы исправить положение. Открытие одного такого противоречия весной 1901 года положило конец моему логическому медовому месяцу. Я сообщил о неприятности Уайтхеду, который “утешил” меня словами: “Никогда больше нам не насладиться блаженством утренней безмятежности”.

Я увидел противоречие, когда изучил доказательство Кантора о том, что не существует самого большого кардинального числа. Полагая в своей невинности, что число всех вещей в мире должно составлять самое большое возможное число, я применил его доказательство к этому числу-мне хотелось увидеть, что получится. Это привело меня к открытию очень любопытного класса. Размышляя способом, который до тех пор казался адекватным, я полагал, что класс в некоторых случаях является, а в других-не является членом самого себя. Класс чайных ложек, например, не является сам чайной ложкой, но класс вещей, которые не являются чайными ложками, сам является одной из вещей, которые не являются чайными дожками.



2 из 12