От Михайлов А.
К Silver1
Дата 25.01.2007 03:29:24
Рубрики Россия-СССР; Образы будущего; Катастрофа; Ограничения;

Опровергнуть меня просто…

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




>То есть если для бесконечной последовательности целых чисел матлогикой сие доказано,

целые числа тут не причем - теорема Геделя оперирует с исчислением высказываний, а канторов алгоритм работает в трансфинитном случае - по сути нужна лишь аксиома Цермело.

>то для вселенной в целом таки нет?

Что для вселенной? Почему вы считаете, что бытие это нечто для чего справедлива аксиома Цермело? Извините, но вы выдвигаете некое философское утверждение на тему системного анализа, которое некорректно ни с точки зрения точных наук ни с точки зрения собственно философии, его вначале переформулировать надо, чтобы утверждать правильно оно или нет.

>Кстати, теории управления тоже не существует? Там упомянутое следствие один из краеугольных камней.

Дайте ссылку на книгу по оптимальному управлению, где это утверждение формулируется именно так. как Вы его сформулировали.
От Silver1
К Михайлов А. (25.01.2007 03:29:24)
Дата 25.01.2007 04:55:39

Опровергать тут должны Вы



>целые числа тут не причем - теорема Геделя оперирует с исчислением высказываний, а канторов алгоритм работает в трансфинитном случае - по сути нужна лишь аксиома Цермело.
>Что для вселенной? Почему вы считаете, что бытие это нечто для чего справедлива аксиома Цермело? Извините, но вы выдвигаете некое философское утверждение на тему системного анализа, которое некорректно ни с точки зрения точных наук ни с точки зрения собственно философии, его вначале переформулировать надо, чтобы утверждать правильно оно или нет.

Вы хоть сами поняли, что тут понаписали? А как, по-вашему, Гедель вообще доказывал свою теорему, если "целые числа тут не причем"?

Искать источники мне лень, тем более в сети их скорее всего нет. Можете верить - можете нет.
От Михайлов А.
К Silver1 (25.01.2007 04:55:39)
Дата 25.01.2007 20:16:39

Опровергать что? Вы ведь строго ничего не сформулировали.

>>целые числа тут не причем - теорема Геделя оперирует с исчислением высказываний, а канторов алгоритм работает в трансфинитном случае - по сути нужна лишь аксиома Цермело.
>>Что для вселенной? Почему вы считаете, что бытие это нечто для чего справедлива аксиома Цермело? Извините, но вы выдвигаете некое философское утверждение на тему системного анализа, которое некорректно ни с точки зрения точных наук ни с точки зрения собственно философии, его вначале переформулировать надо, чтобы утверждать правильно оно или нет.
>
>Вы хоть сами поняли, что тут понаписали? А как, по-вашему, Гедель вообще доказывал свою теорему, если "целые числа тут не причем"?


Простите, я несколько вас дезинформировал – доказательство теоремы Геделя действительно требует процедуры арифметизации, т.е. взаимно-однозначного отображения множества всех символов. выражений и конечных последовательностей выражений на множество натуральных чисел (причем функция, задающее это отображение, должна быть эффективно вычислимой) (см [1] ) , однако утверждения можно нумеровать не только целыми числами, но вообще элементами любого вполне упорядоченного множества, что в конечном счете упирается в аксиому Цермело или эквивалентные ей утверждения ([2] ) Так что Вы даже при самых сильных обобщениях не имеете право на столь тотальные утверждения, которые Вы выдвигаете.


>Искать источники мне лень, тем более в сети их скорее всего нет. Можете верить - можете нет.

Можете не трудиться. А прежде чем верть или не верить Вам следует корректно сформулировать утверждение.

[1] Э. Мендельсон «Введение в математическую логику» М.: 1971
[2] А.Н. Колмогоров. С.В. Фомин. «Элементы теории функций и функционального анализа» М.: Наука 1989