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

[juan_gandhi]

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

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

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

Аяяй.

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

Comments

[juan_gandhi]

Вот, например так. Это, конечно, не совсем тождество. Нас учили, что это "верное числовое равенство".

[a2is]

Почему не совсем тождество? Потому что переменных нет?

[juan_gandhi]

Затрудняюсь ответить; может быть и тождество. Я что-то уже не уверен, что знаю определение тождества. Может быть.

[dluciv]

Вообще ни разу не тождество.

Тождество — это то, что унифицируется (в Прологе '='), а равенство — что вычисляется (в Прологе 'eq').