кошмар в головах народных

[juan_gandhi]

Вот тут устроил дискуссию на тему "что есть уравнение". И в учебнике, и в вики пишут, что "12 = 5+7" - это уравнение.

Это не уравнение. Это числовое равенство. Верное числовое равенство.

Печально, короче. И ведь не переубедишь эти толпы педагогов, которые все лучше знают. 

Аяяй.

На вики дискуссия.

Comments

[juan_gandhi]

Лямбду да, хорошо на примерах. Типа вот вам логика, вот вам числа, вот вам предикаты, вот вам рекурсия. А с категориями я не понимал никогда проблемы. Чисто алгебраическая структура. Ну в смысле, теория-то геометрическая.

[elglin]

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

[juan_gandhi]

У Кострикина! Там как-то очень загадочно. Как и у Букура-Деляну. Все в жизни гораздо проще.

Но что на экзамене про категории спрашивают - такой прогресс меня радует. В наши времена это была почти запретная тема. Яковлев с Башмаковым из Сорбонны завезли.