Согласна с
dyatlov@lj во всем, кроме быдла.
Дима, далеко не все способны с ходу подобрать решение диффура (и обосновать единственность!), и тем более далеко не все способны выдавать блестящие результаты, не наработав технику (сравнение с музыкантом абсолютно верное). Если ты можешь, честь тебе и хвала.
Абсолютному большинству - не тому, что хочет только срать, жрать и прочее - для того, чтобы научиться хоть чему-нибудь, нужны какие-то алгоритмы.
А вот если повезет - повезет с учителями, с предметами, с собственными мозгами, наконец! - то они дойдут и до интуиционистских решений.
Но это если повезет...
>Лично я сомневаюсь, что ребенок будет в состоянии понять, как доказать правильность алгоритма, исходя из ZFC. Главное, что это доказательство ему никак не поможет быстрее или правильнее умножать. Когда ребенок повзрослеет, ему, возможно, будет интересно, почему умножение в столбик работает, но в этом случае он сможет доказать это сам. В противном же случае ему и не нужно знать, почему это работает
Опять же, согласна со всем, кроме последнего предложения.
Даже если сам и не поймет, а прочтет или помогут, в любом случае хоть как-то это его мозги "продвинет". И, может быть, что-то следующее он уже сработает сам. А может, и нет.