Дело не в сахаре, а в том, что якобы «самая главная наука про абстракции» оказывается неспособна эти самые абстракции ввести на уровне языка. А «самая точная из всех наук» не в состоянии сделать свой язык однозначным в написании и прочтении.
Тогда это проблема в вас, а не в математике. Математики нисколько не обламываются при необходимости написать *(a, *(b, c)), но в подавляющем большинстве случаев включают синтаксический сахар и пишут abc. Аналогично с корнями, синусами и прочим традиционно накопившимся синтаксическим сахаром.
Какие-то математики, быть может, не обламываются. А другие, тоже полагающие себя разобравшимися в математике, и может быть даже математиками, обламываются.
Мне больше нравится описывать функцию, как множество упорядоченных пар, задающих все определяемые функцией отображения аргумента на значение. И можно выделить подмножества однозначных и взаимно однозначных функций. Упорядоченная пара-это тоже множество особого вида, и вообще, кроме множеств ничего не надо. Обратимыми являются все функции, для обращения достаточно поменять местами элементы пар.
Ну, как можно видеть, если функции записываются разными способами, то некоторые эксперты начинают уверенно полагать, что это и не функции вовсе. А какие-то разные вещи.
Comments 192
Интересно, что там однозначного, если есть несколько школ по основаниям математики)
Reply
Reply
Reply
Reply
Reply
Функция это однозначное обратимое отображение множества в множество . ЕМНИП
Reply
Что-то недостаточно узко получается - надо бы ещё добавить «множества целых чисел не больше десяти».
Reply
и не однозначное и не обратимое
Reply
Reply
Reply
Reply
Какой смысл это обсуждать?
Reply
нарушается же абстракция же
корень давно должен быть sqrt(x)
Reply
Reply
Leave a comment