Ришар - Гедель,Пуанкаре - Эйнштейн,Фреге - Рассел

Сообщение послал(а): Владимир (77.108.83.138)
Дата: Вторник, 6 Мая 2008, at 11:03 a.m.

Пишу тезис со второй попытки. Индоктринация Ришара-Гёделя настоящая индоктринация: глубина и обширные ассоциации, философская проблема, открытость темы и запутанность, арийский научный истеблишмент и агрессивные номадические дегенераты.

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

Что таит в себе символьное пространство? Сгустки символов взрываются смыслами и образами. Мысль стремительно скользит по символьных цепочек и виражам идей. А сами символы, воплощенные в цифру и электрон - имеют интеллект и жизнь?

Мир идей - его всегда стараются закрыть от нас сатанисты. Закрыв мир идей, лишив Благодати совсем просто убивать человеков.

Мир Божественной Благодади см. Дионисия Ареопагита.

Нас в данном случае интересуют три уровня: арифметика, символьный мир, мир идей. И проблема перехода между этими уровнями. Переход между арифметическим рядом и символьным языком область "антимонии" Ришара, переход между символьным языком и миром идей - область искусственного интеллекта.

В статье "Соотношение точности и адекватности в формализованных языках" А.И. Ракитов (сб. [191] Логика и методология науки //"Наука" 1967 стр. 107-117) описана закваска индоктринации Геделя, основанная на "антимонии" Ришара. Пишем в кавычках, поскольку видим тут не антимонию, а ошибку.

- Мы хотим описать все известные свойства и отношения натуральных чисел.
- Выражения описывающие свойства и отношения, упорядочим каким-либо произвольным образом.
- В каждом языке возможно только счетное множество выражений. Получим ряд A1,...,An.
- Am(k) свойство Am присуще числу k. Not-Am(k) свойство Am не присуще числу k.
- Пусть An предикат описывающий свойства, которыми не обладает ни одно натуральное число, тогда справедливо Not-An(n)
- Ar - предикат описывающий свойство присущее любому натуральному числу. Соотвественно справедливо Ar(n).
- Получаем Ar(n) и Not-An(n)
- Мы можем аргумент число n заменить на аргумент число r.
!!! Заменив индексы (не аргументы!) в выражениях получаем Ar(r) и Not-Ar(r).
Почему нет антимонии? Во первых индексы выражений не имеют никакого смысла - можно перествить порядок выражений и ничего не измениться. Но в арифметическом ряду невозможно произвольно переставлять порядок чисел. Во вторых смешиваются уровни аргументов. (Уровни позднее ввел Рассел).

Технология индоктринации Гёделя как раз и заключается в смешении арифметического и символьных уровней.

С трудом удалось, через французкую википедию найти Ришара Le paradoxe de Richard (http://fr.wikipedia.org/wiki/Paradoxe_de_Richard).
Jules Richard (