Ваш пример вообще не коррелирует с тем, что я предложил.
Вы предлагаете расписать один шаг так, как он там внутри представляется, я же предложил два шага в один записать.
У меня было много того что у вас, но когда мне нужно было запрограммированность алгоритм поиска собственных чисел, я не понял в чем дело. А проблема была в том, что нас не учили, что приложения должны быть масштабируемыми (в институте матрицы были 3х3, а на роботе чуть выросли — 100000x100000).
Это, конечно, не значит, что то, что вы перечислили не пригодится. Просто — это очень малая часть. Ну и не только в этом проблема. Почитайте выступления Дейкстры.
Изоморфизм Карри-Говарда говорит, что математика эквивалентна программированию, но эквивалентность всегда рассматривается в некотором смысле, например интенсиональная и экстенсиональная эквивалентности суть разные. Или эквивалентность по модулю 2 чисел 1 и 3 может не значить их эквивалентность в каком то другом смысле.
Ну да ладно. Но на самом дело не в этом.
Математику и программирование (точнее их эквивалентность) стоит рассматривать в следующем смысле: математика есть модель, а программирование — интерпретация, а интерпретация не запрещается иметь что-то лишнее по сравнению с моделью.
=) Но это нормально для вашего возраста (простите я посмотрел ваш профиль — ничего личного).
Что интересно множество физиков (и даже математиков) в зрелом возрасте, да и вообще, просто взрослея, уже НЕ утверждают, то что вы написали.
Вы предлагаете расписать один шаг так, как он там внутри представляется, я же предложил два шага в один записать.
Разве нельзя заменить на:
?
(Хором) Привет Илья!
Это, конечно, не значит, что то, что вы перечислили не пригодится. Просто — это очень малая часть. Ну и не только в этом проблема. Почитайте выступления Дейкстры.
Главная проблема цитат в Интернете в том, что люди сразу верят в их подлинность. (В.И. Ленин)
Ну да ладно. Но на самом дело не в этом.
Математику и программирование (точнее их эквивалентность) стоит рассматривать в следующем смысле: математика есть модель, а программирование — интерпретация, а интерпретация не запрещается иметь что-то лишнее по сравнению с моделью.
=) Но это нормально для вашего возраста (простите я посмотрел ваш профиль — ничего личного).
Что интересно множество физиков (и даже математиков) в зрелом возрасте, да и вообще, просто взрослея, уже НЕ утверждают, то что вы написали.
Хабр уже давно не тот, не понимают тут романтиков (или вообще ничего не понимают=).
П.С. интересная штука, я вас плюсую, а в это время двое минусуют и после клика минус увеличивается.