Чересчур математически для меня. В таком виде мне это не кажется привлекательной задачей, я не думаю, что процесс познания может быть настолько формализован. В каком пространстве переменных оптимизировать? Как формально описывать успешность/неуспешность познания? Что значит строго "абсолютно равные по эпистемологическому статусу"? Вот, у Лакатоса есть "исследовательская программа". Там все понятно (с некоторым преувеличением, не искажающим смысл): по чьей теме больше диссертаций защищено, тот и молодец. Можно пересчитать по головам и сравнить числа. Но это же совсем несерьезно?

Сейчас, попробую понять с другой стороны. Вы говорите о такой ситуации. Есть некоторая совокупность физических экспериментов. Есть две математически неэквивалентные теории, каждая из которых описывает всю совокупность экспериментальных данных. По мере накопления новых экспериментов, выбор между двумя теориями все время невозможен, и это принципиально (то есть, не связано с тем, что мы делаем просто неправильные эксперименты, которые задают неправильные вопросы). Как такое можно доказать, хотя бы в принципе?