Математика бесполезна?

[g______d]

Если говорить о более новых результатах, полученных после процитированных ссылок, стоит отметить квазиполиномиальный алгоритм изоморфизма графов

https://arxiv.org/abs/1512.03547

использующий классификацию конечных простых групп.

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

А классификация групп -- один из центральных результатов математики 20 века, и один из самых сложных.

[Munin]

g______d в сообщении #1177370 писал(а):

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

Ну этак и все группы и комбинаторику можно обозвать "на уровне матшкольника"... и RSA на уровне матшкольника... если матшкольник понимает формулировку теоремы Ферма, это ещё не значит, что она находится на его уровне.

[g______d]

Munin в сообщении #1177394 писал(а):

Ну этак и все группы и комбинаторику можно обозвать "на уровне матшкольника"... и RSA на уровне матшкольника... если матшкольник понимает формулировку теоремы Ферма, это ещё не значит, что она находится на его уровне.

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

[kthxbye]

Станислав Лем, "Сумма технологии", глава V "Пролегомены к всемогуществу", (e) Безумие, не лишенное метода.

[Munin]

g______d в сообщении #1177396 писал(а):

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

Не знал, что матшкольники знают собственные числа и обусловленности. Ну, вам видней.

kthxbye
Да, очень хорошее изложение. Но по вашей ссылке вряд ли кто пойдёт. Я тут цитировал как-то целиком, и то мало кто прочитал, кажется...

[SomePupil]

Munin в сообщении #1177531 писал(а):

Не знал, что матшкольники знают собственные числа и обусловленности.

Если Вы про $A\vec v = \lambda \vec v$, то некоторые матшкольники действительно это знают, по крайней мере, мы учили это в кружке. А вот про обусловленности вообще впервые слышу. Может, в других школах учат?

g______d в сообщении #1177396 писал(а):

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

Хм, но если вычислительная линейная алгебра так проста и доступна, то почему её не изучают в матшколах? Хотя бы для общей математической культуры (очень понравилось это словосочетание $-$ оно как карточный джокер).

[Munin]

SomePupil в сообщении #1177553 писал(а):

Если Вы про $A\vec v = \lambda \vec v$, то некоторые матшкольники действительно это знают, по крайней мере, мы учили это в кружке.

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

[SomePupil]

Munin в сообщении #1177556 писал(а):

Например, был ли вам известен тот факт, что собственные векторы (некратных собственных значений) самосопряжённой матрицы взаимно ортогональны?

Не-а. Кажется, мы использовали этот факт для случая, когда собственные векторы составляют базис. Там, когда работаешь с матрицей, она вдруг - бац! И диагональной становится.

[g______d]

SomePupil в сообщении #1177553 писал(а):

Хм, но если вычислительная линейная алгебра так проста и доступна, то почему её не изучают в матшколах? Хотя бы для общей математической культуры (очень понравилось это словосочетание $-$ оно как карточный джокер).

Чтобы на первом курсе дурака не валяли. Довольно разумно, кстати, потому что если школьник будет знать вообще весь первый курс, то сопьётся от скуки, примеров было много. Лучше рассказать что-то из более старших курсов, не требующее пререквизитов, или вообще какой-нибудь не-мейнстрим.

Munin в сообщении #1177556 писал(а):

Например, был ли вам известен тот факт, что собственные векторы (некратных собственных значений) самосопряжённой матрицы взаимно ортогональны?

Этот факт доказывается меньше, чем в одну строчку. Вопрос о том, известен ли он тому или иному школьнику, чисто риторический.