108 подписчиков
Существуют математические теоремы, которые в настоящее время имеют только „внешние“ решения, потому что они остаются все еще слишком сложными для конструктивного понимания
Примерами их являются некоторые случаи так называемого доказательства от противного, непрямого доказательства, в котором используется принцип исключенного третьего, показывающий, что принятие противоположной посылки невозможно, поскольку оно ведет к противоречию
Но такое доказательство не позволяет понять, как конструктивно достигается позитивное решение (Брауэр презрительно называл такие непрямые доказательства „позвоночным мышлением“)
Насколько обоснованно требование не признавать результаты, _которые могут быть получены только таким способом_
Существует огромное различие между осмысленным решением, основанным на понимании сущности задачи, и решением, совершаемым посредством внешних действий
Около минуты
6 сентября 2023