В математике мы определяем такие объекты, как отображения. Но мы же не знаем, каким образом отображение сопоставляет один элемент одного множества другому элементу другого множества. Таким образом, сам способ сопоставления является чёрным ящиком. Мы говорим, что два отображения совпадают, если у них совпадают области определения, области значений и закон сопоставления. Но пусть есть два отображения, формально удовлетворяющих этому определению. Мы никак не можем гарантировать, что содержимое их чёрных ящиков совпадает. Выходит, я могу утверждать о равенстве, ссылаясь лишь на внешние характеристики, в то время как внутренний принцип работы остаётся непостижимым? Этот вопрос упирается в основы философии математики. Классическая математика, построенная на теории множеств, работает с экстенсионалом: функция есть её график, то самое множество пар «аргумент-значение». В этой парадигме никакого «чёрного ящика» просто не существует — есть только внешний результат. Равенство функций — это равенство их графиков, и ничего более. Но что, если мы хотим заглянуть внутрь? Тогда мы сталкиваемся с интенсионалом — тем самым правилом, алгоритмом, формулой, которая и является механизмом чёрного ящика. С этой точки зрения, две разные формулы, вычисляющие одно и то же множество пар, могут считаться разными объектами, потому что их внутреннее устройство, их «смысл» — различен. Это противоречие разделяет целые философские школы. Для платониста функция — это идеальный объект, чья сущность исчерпывается её экстенсионалом. Для конструктивиста же первичен именно интенсионал — алгоритм, и функция не существует, если она не может быть явно построена. А с точки зрения философии языка, наша проблема — это проблема смысла и значения: мы можем указывать на один и тот же объект (значение) разными путями (смыслами). Таким образом, вопрос о существовании и важности механизма «чёрного ящика» — это не техническое недоразумение, а глубокий метафизический выбор. Мы можем изучать мир идеальных, готовых математических сущностей, где важны лишь итоговые состояния. А можем изучать процессы, алгоритмы и смыслы, где внутреннее устройство является неотъемлемой частью объекта? Классическая математика выбирает первый путь. Но наше смутное ощущение, что за формальным равенством скрывается какая-то тайна, указывает на то, что второй путь (изучения внутренних механизмов) столь же необходим.