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

[juan_gandhi]

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

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

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

Аяяй.

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

Comments

[gonchar]

Теория топосов...
Мощно. Но ни фига не понятно. :)

[juan_gandhi]

А, на самом деле все несложно. Это логическая функция на парах (x,y), такая, что истинна она только на парах (x,x). Такие пары получаются с помощью диагонали - вложения A в A×A, x ↦ (x,x)

[gonchar]

Ну да, так элементарно.
... хотел спросить, а зачем это, да что, да как... и решил не спрашивать.
Любопытство - а времени нет. :) Жизнь, к сожалению, ограничена... начинаешь это понимать со временем.