Где найти информацию о проблеме эквивалентности?

Недавно читал учебник информатики за 11 класс и там была описана проблема эквивалентности. Если в кратце она звучит так : невозможно по двум заданным алгоритмам определить, будут ли они выдавать одинаковые результаты для любых допустимых исходных данных. Не могу найти материалы связанные с ней так как в интернете впринцепе пишут не про то, когда вводишь этот запрос , а в учебнике никаких доп ссылок или указателей откуда брали информацию нет. Если кто нибудь что нибудь знает про это можете поделиться информацией где можно больше почитать про эту проблему.

Гугл нагуглил это:
How do you check if two algorithms return the same result for any input? - Computer Science Stack Exchange

Там объяснение почему это невозможно в общем случае, но возможно в некоторых случаях с ограничениями, ссылки на работы про это.

Спасибо