>>4784832
> а лишь вычисления
Ну, есть класс теорем
https://ru.wikipedia.org/wiki/Теорема_существования
Которые доказывают что нечто существует, потому что должно, но не предъявляя это что то, даже не дают способа это что-то найти. Вот вздумал ты искать чёрную кошку в чёрной комнате, и тут математик ловко тебе доказывает, что кошка там точно есть, она просто не может там не быть, но как её отловить по прежнем неизвестно, хотя математику это и не нужно, факт существования самодостаточен, можно доказать на основе него, что собаки в комнате нет, во всяком случае, коша и собака не ужились бы там вместе, и мышей там нет, иначе кошка бы их съела или как минимум прогнала, математик продолжает приоткрывать завесу тайны над миром комнаты, но отловить злополучную кошку ты по прежнему не можешь, но твои поиски по крайней мере имеют смысл.
Вот пример из теории игр:
https://ru.wikipedia.org/wiki/Равновесие_Нэша
> Джон Нэш доказал существование такого равновесия в смешанных стратегиях в любой конечной игре.
Нэш доказывает, что комнатах определённого типа кошка хотя бы одна всегда присутствует, потому есть смысл её искать, кошку эту называют равновесием Нэша, в честь самого Нэша. Математики не всегда вычисляют, им это редко интересно, кошку ловить это работа монотонная, хотя существует целый пласт математики, направленный на отлов всевозможных кошек, такую математику называют вычислительной, но сейчас её всё чаще доверяют компьютеру, у него это лучше получается.
