DK
Док-ва эффективности алгоритмов говорят вам, что лучше (обычно асимптотически) вы не найдёте алгоритма, а значит и пытаться не стоит. Это уже доказывает "полезность" математики
бля это школьная математика
Size: a a a
2020 January 03
D
А доказательства что лучше нет это уже редкость
{
А доказательства что лучше нет это уже редкость
Это просто пример
DK
А доказательства что лучше нет это уже редкость
ну и вот это вот еще, да
DK
мне просто кажется, что васьки не понимают роль математики
D
Если уж о статистических оценках говорить, то там ещё больше свободы эвристических соображений того кто их строит
ND
Док-ва эффективности алгоритмов говорят вам, что лучше (обычно асимптотически) вы не найдёте алгоритма, а значит и пытаться не стоит. Это уже доказывает "полезность" математики
"in the long run we're all dead"
A
Где подтверждается? Какие именно принципы?
Мы только что выяснили, что подтверждается в физике, информатике и т.д.
Принципы -- это логика и теория множеств (да, она бывает разной, но в рассматриваемых областях математики об этом не задумываются)
Принципы -- это логика и теория множеств (да, она бывает разной, но в рассматриваемых областях математики об этом не задумываются)
D
Решение уклоняться или нет должно по идее приниматься в обход сознания, иначе это было бы слишком медленно
DK
матеша нужна чтобы описать и систематизировать уже существующие подходы, а не для того, чтобы их придумать
DK
т.е решение проистекает не из математики
{
На самом деле надо придерживаться мнения, что математика первична, а мир вторичен и не идеален
DK
а из наблюдаемой реальности
US
Что значит "правда"?)))0
Вам изначально необходимо поверить в формальную логику
Вам изначально необходимо поверить в формальную логику
Что при наличии доказательства в классической логике и с (а какие у них аксиомы то?) заданным набором аксиом в реальности не существует алгоритма эффективнее, если его существование противоречиво
D
матеша нужна чтобы описать и систематизировать уже существующие подходы, а не для того, чтобы их придумать
Тоже спорный тезис
DK
Тоже спорный тезис
скажем так, на данный момент
US
Мы только что выяснили, что подтверждается в физике, информатике и т.д.
Принципы -- это логика и теория множеств (да, она бывает разной, но в рассматриваемых областях математики об этом не задумываются)
Принципы -- это логика и теория множеств (да, она бывает разной, но в рассматриваемых областях математики об этом не задумываются)
Окей, что насчёт тервера?
D
т.е решение проистекает не из математики
Иногда таки наоборот
Что-то спорное(если я правильно понимаю, что такое "трансцендентность")
Логика подтверждается каждым человеческим действием (в вас летит камень, вы уклоняетесь делая много-много лог. переходов в голове)
Логика подтверждается каждым человеческим действием (в вас летит камень, вы уклоняетесь делая много-много лог. переходов в голове)
Вообще не понял аргументации
ND
Окей, что насчёт тервера?
лженаука!