dimrub: (Default)
Adventures of a somewhat curious character ([personal profile] dimrub) wrote2009-04-17 11:47 am

Теорема

Теорема об инверсии приоритетов: при удалении, тривиальные проблемы кажутся непреодолимыми ("как, у ребенка высокая температура???"), а сложные - тривиальными ("просто перестаньте воевать друг с другом").

Следствие (лемма о неподвижной точке): существует проблема, которая при удалении выглядит столь же сложной, что и вблизи.

[identity profile] shimon5.livejournal.com 2009-04-17 09:00 am (UTC)(link)
Антилемма:Любые чужие проблемы всегда проще собственных.
Подумаешь, у Х. рак, рак нынче лечат. А вот у меня вчера весь день болела голова и текло из носа! Доктор, я умру?

[identity profile] snorapp.livejournal.com 2009-04-17 09:14 am (UTC)(link)
Да. Проблема обнаружения такой проблемы.

[identity profile] dimrub.livejournal.com 2009-04-17 09:15 am (UTC)(link)
Я думал о еврейском вопросе.

[identity profile] snorapp.livejournal.com 2009-04-17 09:18 am (UTC)(link)
В отрыве от контекста этой беседы звучит угрожающе :)))

[identity profile] dimrub.livejournal.com 2009-04-17 10:05 am (UTC)(link)
Угу, pun, как говорится, intended.

[identity profile] ilya-dogolazky.livejournal.com 2009-04-17 09:40 am (UTC)(link)
Прям по Хармсу: «думая о еврейском вопросе Дмитрий Александрович вынул из головы шар»...

[identity profile] flaass.livejournal.com 2009-04-17 12:09 pm (UTC)(link)
Напомнило Котовского из "Чапаева и Пустоты".

[identity profile] trurle.livejournal.com 2009-04-17 09:34 am (UTC)(link)
Следствие также предполагает что проблемы образуют в пространстве сложности связное и непрерывное множество.

[identity profile] ilya-dogolazky.livejournal.com 2009-04-17 09:38 am (UTC)(link)
«непрерывное множество» это что за хрень такая?

[identity profile] ilya-dogolazky.livejournal.com 2009-04-17 10:37 am (UTC)(link)
что-то там какая-то чушь написана. наверное разумное определение после слов «т.е.», а «каждое сечение дедекиндово» это они подзагнули. и вроде это определение тогда эквивалентно словам «множество связно в порядковой топологии». или таки нет?
nechaman: (Default)

[personal profile] nechaman 2009-04-17 11:00 am (UTC)(link)
Возможно.
Но в любом случае, нужно ввести метрику в пространстве проблемм. Что само по себе проблемма.
nechaman: (Default)

[personal profile] nechaman 2009-04-17 11:19 am (UTC)(link)
Ну а как знать, что больше, что меньше?
Но вообще-то мне все равно. Можно и не.
nechaman: (Default)

[personal profile] nechaman 2009-04-17 09:39 am (UTC)(link)
Ну, мне кажется, что в любой, сколь угодно малой окрестности проблеммы можно найти всегда другую проблемму (не обязательно мою) отличную от данной.
Меня больше инетресует, счетное ли это множество...

[identity profile] dimrub.livejournal.com 2009-04-17 10:04 am (UTC)(link)
Проблемы, безусловно, непрерывны. Вот со связностью проблемы.
nechaman: (Default)

[personal profile] nechaman 2009-04-17 11:01 am (UTC)(link)
мда. пожалуй вы правы.

[identity profile] igornem.livejournal.com 2009-04-17 11:15 am (UTC)(link)
А шо це - "удаление проблемы" ?

[identity profile] cheshirelion.livejournal.com 2009-04-17 09:34 pm (UTC)(link)
а о каком перемещении идет речь - в пространстве или времени?

[identity profile] ex 314truha (from livejournal.com) 2009-04-18 09:00 am (UTC)(link)
Лишь прочитав последнее предложение, понял, что речь идёт об удалении в смысле расстояния, а не в смысле изъятия.

-- У меня проблема: не могу подключиться по удалённому доступу.
-- Что же вы хотите, если доступ удалили?

[identity profile] chrobin.livejournal.com 2009-04-18 03:22 pm (UTC)(link)
не исключено также, что существует геометрическое место, с которого все проблемы кажутся одинаково надуманными

следствие:

(Anonymous) 2009-05-20 01:01 am (UTC)(link)
Теорема о P-комбинаторе:

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

Например, попытки решить что либо с помошью регулярных выражений.

Омер (забыл пароль)