[Recent Entries][Archive][Friends][User Info]
| Time | Text |
|---|---|
01:03 pm![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} dmitri_pavlov[Link] | Задача содержательная, если она служит чему-то большему, нежели простому развитию механических навыков. Задачи в НМУ, наверное, содержательные, во всяком случае, я смотрел листочки Вербицкого и они содержательные. Таблица умножения вполне содержательна для первоклассника, который только начал изучать натуральные числа. Навыки будут развиваться в любом случае, при условии, что они действительно нужны для решения содержательных задач. А вот специально пытаться их развивать путём большого решения механических задач не нужно. В идеале доказательства должны быть как у Гротендика: когда определения сформулированы и осознаны, все теоремы становятся тривиальными. Этот идеал не везде достигнут, и тогда более полезными являются доказательства с ясной концептуальной идеей (в противоположность техническим вычислениям). По поводу манифеста — отказаться от модельных категорий пока нельзя, ибо все модели для (∞,1)-категорий существенным образом используют формализм модельных категорий. |
| Reply: | |