Post #299

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