Позвольте, причём здесь вера и искусство? Наука - может быть.я так понял, что теорема геделя показывает что ни один из путей не даст полного знания, ни наука, ни вера, ни искусство.
-exec-, 05.04.2004 13:17:04 :я так понял, что теорема геделя показывает что ни один из путей не даст полного знания, ни наука, ни вера, ни искусство.
однако можно получить интересные результаты на симбиозе этих путей, ведь так? они тоже не дадут полноты, но во всяком случае поможет разрешить локальные проблемы конкретных путей.
Опа! Как вы быстро определили, что множество пустое. Я вам могу навскидку дать с десяток имён брадобреев, бреющих тех, кто не бреет себя сам, естественно брадобреи - вне некоторого типа Т. Что я делаю не так? Вы правы - только задним числом.ну... не пытайтесь быстро, пока я не заметил, запихнуть значение предиката {множество брадобреев, бреющих тех, кто не бреется сам} равное на самом деле {}
AidarM, 06.04.2004 04:12:01 :Iva
>Но тут даже в науке встречаются забавные вещи - Пуанкаре? свою небесную механнику построил на несходящихся рядах - и ничего летают.
Не знаком.
>Сходимость часных сумм не гарантирует сходимость ряда.
А вот это уже странно. Ряд сходится по определению, если сходится последовательность его частичных сумм. Может, вы что-то другое имели в виду?
-exec-, 04.04.2004 17:36:40 :Mishka, 31.03.2004 07:47:19 :Проблема в том, что это самое действие в вопросе нельзя вычислить - отсюда неопределенность предиката - из-за переменной, а не самого предиката. Потому как, если брадобрей женщина - проблемы нет. Что делать, если брадобрей мужик?
ну... не пытайтесь быстро, пока я не заметил, запихнуть значение предиката {множество брадобреев, бреющих тех, кто не бреется сам} равное на самом деле {} запихнуть в функцию брадобрей_бреет_себя?().
если написать медленно, то получается
брадобрей_бреет_себя?({}).
можно долго препираться где проблема, в пустоте агрумента или в неопределённости булевой функции от аргумента {}, но результат будет тот же: попытка вычислить булеву функцию от {}, что некорректно.
AidarM, 06.04.2004 16:41:06 :>любая конечная последовательность этого ряда сходится, а вот сам он - нет.
Хм. Последовательность по определению бесконечная (ЕМНИП, разумеется). Ну, да ладно, лучше поспрашивать у небесных механиков.
>Но я полагаю, что мой шеф не сам исследовал эти ряды, а услышал про это в соседнем МИАНе.
ОК.
-exec-, 08.04.2004 14:54:50 :ряд 1/N не является слагаемым ряда sum(1/N), в стандартном смысле.
под суммой рядов я (может быть знаю очень мало, но) понимаю сумму конечного числа слагаемых. а ряд sum(1/N) имеет бесконечное число слагаемых рядов вида 1/N (а именно N штук). то есть данный случай из леммы "конечная сумма сходящихся рядов является сходящимся рядом" вылетает. вот и фсё.
AidarM, 08.04.2004 11:41:35 :Меня учили, что последовательность - бесконечное множество пронумерованных элементов-чисел.