Опровергать что? Вы ведь строго ничего не сформулировали.
>>целые числа тут не причем - теорема Геделя оперирует с исчислением высказываний, а канторов алгоритм работает в трансфинитном случае - по сути нужна лишь аксиома Цермело.
>>Что для вселенной? Почему вы считаете, что бытие это нечто для чего справедлива аксиома Цермело? Извините, но вы выдвигаете некое философское утверждение на тему системного анализа, которое некорректно ни с точки зрения точных наук ни с точки зрения собственно философии, его вначале переформулировать надо, чтобы утверждать правильно оно или нет.
>
>Вы хоть сами поняли, что тут понаписали? А как, по-вашему, Гедель вообще доказывал свою теорему, если "целые числа тут не причем"?
Простите, я несколько вас дезинформировал – доказательство теоремы Геделя действительно требует процедуры арифметизации, т.е. взаимно-однозначного отображения множества всех символов. выражений и конечных последовательностей выражений на множество натуральных чисел (причем функция, задающее это отображение, должна быть эффективно вычислимой) (см [1] ) , однако утверждения можно нумеровать не только целыми числами, но вообще элементами любого вполне упорядоченного множества, что в конечном счете упирается в аксиому Цермело или эквивалентные ей утверждения ([2] ) Так что Вы даже при самых сильных обобщениях не имеете право на столь тотальные утверждения, которые Вы выдвигаете.
>Искать источники мне лень, тем более в сети их скорее всего нет. Можете верить - можете нет.
Можете не трудиться. А прежде чем верть или не верить Вам следует корректно сформулировать утверждение.
[1] Э. Мендельсон «Введение в математическую логику» М.: 1971
[2] А.Н. Колмогоров. С.В. Фомин. «Элементы теории функций и функционального анализа» М.: Наука 1989
