В общении этих великих учёных родилась первая теорема Гёделя, которую следовало тогда же назвать аксиомой, ибо в 1964 году другой учёный, Поль Коэн, напрасно посчитал эту "теорему" доказанной.
Метаматематика Давида Гильберта выявила проблему доказательств, согласно которой стали понимать, что полнота доказательства теоремы математики реализуется при прямом доказательстве дополненном доказательством от противного, то есть согласие необходимое здесь по принципу Пуанкаре - кардинальное условие истинности.
Итак, мощность множества всех множеств мощно (не нуждается в доказательстве, как лемма), и вторая теорема Гёделя - доказана, истинно являясь снятием проблемы доказательств Гильберта.
Таким образом, мы впервые обосновали перспективу прогресса в существовании Оригинала, в утрате Оригинала и, наконец, достигли синтеза науки наук - филологии.
Эйнштейн и Гёдель
© Copyright: Леонид Черненко, 2023
Свидетельство о публикации №223090501308
Свидетельство о публикации №223090501308
Рецензии