Сферический конь в вакууме был придуман как раз в отношении голых формул. Так что пример вы привели прямо противоположный.
и с преподавателем вам не повезло, поскольку навскидку три-четыре мысленных эксперимента РЕАЛИЗОВАННЫХ В ОПЫТЕ могу привести прямо сейчас
- ЭПР парадокс мысленный эксперимент предложенный Эйнштейном Подольским Розеном (реализован Аспектом)
- отложенный выбор предложенный Уилером (реализован Аспектом)
- мысленный эксперимент Ашера Переса утверждающий нелокальность во времени (реализован Цалингером и командой)
Таким образом мысленные эксперименты и их реализацию мы видим сплошь и рядом что позволяет выявлять все новые интересные закономерности в квантовой механике.