Евангелие от матана

Jan 08, 2007 18:02

В продолжение дискуссии отсюда.

Я знаю силу слов, я знаю слов набат. Убеждение, что слова имеют особую, мистическую силу - это, пожалуй, один из основных сохранившихся по сие время пережитков первобытной эпохи. Убеждение, что суть того или иного явления кардинально изменится, назови мы только его другим именем, нередко наличествует даже у людей, ( Read more... )

Leave a comment

Наутро там нашли два трупа... alexey_remizov January 12 2007, 17:04:24 UTC
Это я к тому, что дискуссия принимает такие обороты, что скоро участниками пора уже будет рода оружия выбирать... Ну да ладно, это дело хозяйское, в конце концов. Примите мои глубочайшие уверения, что мне одинаково далеки позиции обоих участников спора, поэтому в какой-то предвзятости меня заподозрить трудно ( ... )

Reply

Re: Наутро там нашли два трупа... _wep_ January 12 2007, 17:18:53 UTC
Ну накал "борьбы" - дело привычное, да и на спад уже пошло, по-моему.

Гастрит, в частности, утверждает, что ежели тщательно проанализировать все применения, то непременно КМ вылезет в наичистейшем виде.

Вы ухатываете самую суть того, что я пытаюсь донести: люди как столетиями что-то считали без наличия оснований математики, так и считают, и так и будут считать. А он именно на уровне теорий нашел, что одна система оснований "верней" другой - и пытается эту никому не нужную независимо от её верности вещь протолкнуть как ИСТИНУ.

Reply

Re: Наутро там нашли два трупа... alexey_remizov January 12 2007, 17:44:45 UTC
>Ну накал "борьбы" - дело привычное ( ... )

Reply

Re: Наутро там нашли два трупа... __gastrit January 12 2007, 19:42:40 UTC
1. Я, кажется, что-то пропустил: до сих пор вроде считалось, что Мессией, создавшем рай для математиков, был Кантор :) Марков же всего лишь скромно просил математиков бросить пустую болтовню (которой они начали заниматься за полсотни лет до того) и вернуться к своей главной работе - развитию теории вычислений. Так что не стОит его в пророки рядить, как Кантора какого-нибудь ( ... )

Reply

Ну вот, опять _wep_ January 12 2007, 22:19:32 UTC
желание философа-идеалиста притянуть свою ИСТИНУ за уши к реальности: "Диффуры, конечно, развивать можно и нужно. Проблема, правда, в том, что те же диффуры - не вещь в себе, они основаны на фактах и представлениях анализа (число, функция, производная, интеграл), а последние - увы, но упираются в те самые "основания"." - вранье.

Они основаны на некоторм "тумане", по умолчанию витавшему в математике 17-18 столетий, оправдывавшемся (и до сих пор оправдываемому) получением формул, пригодных на практике (не "математической", конечно). И ни в каких основаниях дифуры не нуждались никогда и не нуждаются - ни в Канторе, ни в Маркове. Этот ни мало не изменившийся туман продолжает жить в головах большинства не только практиков-ракетчиков, но и математиков, ежели они просто решают задачу, а не специально садятся поговорить об основаниях.

В истинных основаниях математики интересен именно этот туман, его препарирование и выяснение происхождения. А все ваши разнообразные теории - хрень ненужная.

Reply

Re: Наутро там нашли два трупа... __gastrit January 12 2007, 19:05:02 UTC
Что самое характерное - я практически о том же.

Берём C (вариант - Pascal). Пишем примерно такую программку:

# include
# include

int
main (int argc, char **argv)
{
double x = -1.0, y = 1.0, z = 1.0E-07;

if ((x + y) + z == x + (y + z))
{
printf ("Да здравствует классический анализ!\n");
} else
{
printf ("К чёртовой бабушке классический анализ!\n");
};
return 0;
}
Можете ради интереса проверить, что именно думает C про теорию вещественных чисел ( ... )

Reply

Ok! alexey_remizov January 12 2007, 19:38:37 UTC
Не имею возможности запустить, но охотно верю, что Ваша программа выдаст ответ про бабушку из-за различия в округлении левой и правой части. Ну так что же тут? У меня как раз в Зеленограде был похожий случай: в каждый дискретный момент времени считалась большая сумма, где слагаемые были вида a_i / b_i. Обычно все получалось хорошо, но в некоторые моменты вдруг почему-то ответ явно вываливался за рамки моей конгнитивной структуры :) После недолгого размышления стало понятно, что в некоторые моменты в этой сумме попадаются ненормально малые знаменатели b_i, которые хотя и не равны нулю, но дают большую погрешность. Явление старое и имеет место в разных вещах -- хоть теорию КАМ возьмите (термин "малые знаменатели" оттуда, кажется, и распространился). Достаточно дописать проверку условия |b_i| > \epsilon и откинуть не удовлетворяющие, как все OK ( ... )

Reply

Re: Ok! __gastrit January 12 2007, 20:19:27 UTC
Если бы в ПТУ, готовящих зеленоградских практиков, преподавали не мехматообразные знатоки абстрактных вещественных чисел, а выдержанные конструктивистские кадры :)), то практики бы сходу уделали и Вас, и Рене Тома. Ситуация-то простейшая: нету у чисел с плавающей запятой никакого "округления", это Вам с перебота "классического" матана показалось. Есть же у них стандартный набор абсолютно точно определённых и ничего не округляющих арифметических операций (которым Вас на матане не научили, да и практиков в ПТУ - вероятно, тоже) - но вот сочетательный закон для этих операций не выполняется.

С уважением,
Гастрит

Reply

Re: Ok! _wep_ January 12 2007, 22:08:00 UTC
Ну вот все та же "сознательность" - там надо преподавать просто вычислителям-практикам; а как их самих учили - совершено не важно. А замена основ обществу не несет ниаких практических выгод, и несет кучу ненужных расходов.

Reply

Re: Ok! __gastrit January 13 2007, 00:02:11 UTC
Т.е. никакая теория вообще не нужна (как это и вычитал из Ваших постов Ремизов)? Что ж Вы мне тогда мозги-то компостировали? Сказали бы это сразу - я бы и времени на препирательства с Вами тратить не стал (ибо contra principia negantem...)!

Reply

Re: Ok! _wep_ January 13 2007, 12:29:10 UTC
Вы что-то не то вычитали, как обычно. А как же теория следов?!!!

Reply

Re: Ok! __gastrit January 13 2007, 12:46:42 UTC
Ну, что эта не нужна - я с самого начала знал :-)) Мне за вариационный метод обидно было.

Reply

Re: Ok! _wep_ January 13 2007, 12:51:01 UTC
Извините. Мы тут о моем мнении о нужности теорий или о Вашем? Я смотрю, с Вами строго надо.

Reply

Re: Наутро там нашли два трупа... _wep_ January 12 2007, 22:05:10 UTC
"И я утверждаю, что именно "классический" анализ и практика его навязывания всем подряд не в последнюю очередь ответственны за такие неправильные применения!" - ответственен всегда человек, и только о персональной профнепригодности может идти речь.

и про 2. о чём и речь: на практике "чума на оба ваши дома" - и ваша наука равно не нужна. "Выяснять, какая теория адекватна, а какая - нет, это - не их дело. Им не за это платят." - за это никому платить не надо. А вам только в теории играть, да ещё и денег за это хотите.

"... математиков, т.е. на людей, для которых сие выяснение является профессией, и которым именно за это общество и платит деньги" - вот чёткое и полное вранье, раскрыв которое, мы новым способом раскроем суть: профессия математиков не в этом, но об этом позже и отдельно; здесь достаточно указать на то, что общество не за это платит деньги - общество не знает, за что оно платит, а когда узнает (а оно уже узнает), то платить перестанет. И правильно.

Reply

Ох ты волчья сыть, травяной мешок... alexey_remizov January 12 2007, 23:40:52 UTC
В дереве сообщений стало трудно понимать, что на что является ответомю Жаль, что это не MMonline, где удобно цитировать. Однако вижу, что свелось к наболевшему: "за это никому платить не надо" и "общество не за это платит деньги - общество не знает, за что оно платит"... И я снова и снова и снова готов выходить из себя от БЕССМЫСЛЕННОСТИ подобных утверждений ( ... )

Reply

Re: Ох ты волчья сыть, травяной мешок... _wep_ January 13 2007, 12:44:48 UTC
Я никогда не говорил, что никакая наука не нужна.

Просто в математике есть разросшиеся ответвления, которые заведомо не нужны ни в каком смысле (исследования свойств неизмеримых множеств, например). А далее Вы, по-видимому, не понимаете моей мысли: общество должно иметь механизмы очистки от подобных "наук", и оно их имеет - общественное сознание, медленно меняясь, принимает решение о финансировании. При этом оно, развернувшись в этом направлении, наверняка с плеча уберет и что-то нужное.

Так вот, я говорю о двух вещах: 1. об объективной неизбежности такого процесса и 2. что если заранее понимать это и предпринять превентивные меры, то можно попробовать сократить ущерб вот от этого "с плеча" - я хочу сохранить побольше, заранее убив кое-что, а Вам кажется, что я всё убить хочу.

Reply


Leave a comment

Up