Все науки. №1, 2023. Международный научный журнал

Но последователи Гильберта решили эту проблему просто изменив определение на то, что множество всех множеств – это не множество, как и множество множеств, которое не содержит себя. И хотя «битва» была выиграна, само-референция оставалась и ожидала своего реванша.

Эта проблема возродилась с 60-х годах XX века, когда математик Хао Ванг размышлял о способах разложения разноцветной плитки задав следующие условия – совмещать можно края одного цвета, но вращать или переворачивать клетку нельзя.

И тогда встаёт вопрос, можно ли по случайному набору плиток сказать можно ли замостить всю плоскость? Получается ли это сделать до бесконечности и на удивление, эта задача стала не разрешимой, подобно игре «Жизнь» и вся проблема вновь свелась к уже знакомой само-референции, о которой ещё только предстояло узнать.

И тогда Гильберт решил создать надёжную систему доказательств. Основная идея такой модели была ещё в древней Греции, где какое-то изначальное утверждение принималось за истину без доказательств – аксиому, к примеру, то что между двумя точками можно провести только одну прямую и на основе этих утверждений строятся доказательства из следствий.

Так получается сохранить истинность утверждений, где если верны исходные – верны и новые.

Так Гильберт хотел получить систему символов – язык со строгим набором операций, где математические и логические утверждения можно было бы перевести на этот язык, и фраза если бросить книгу – она упадёт сводиться к (1).

Которое читалось: «Если А, то В». А утверждение, что «Нет бессмертных людей» выглядела бы как (2).

Так формалисты хотели придать математическим аксиомам форму символических утверждений и установить правило вывода в качестве математических операций в этой системе. Рассел вместе с Уайтхедом разложили и описали такую формальную систему в трёхтомнике «Принципы математики», опубликованная в 1913, ставший монументальным трудом в 2000 страниц плотного математического текста, где на 762 странице приводится доказательство, что 1+1=2, после чего констатируется, что «приведённое выше приложение иногда оказывается полезным» («The above proposition is occasionally useful»).

Они планировали написать 4-й том, но кажется судьбе это не было угодно, говоря более образно и приводя не плохой пример.