Чуть-чуть о логике, часть 6. Дедукция

    Начало в http://proza.ru/2024/07/04/235

    Рассмотрим для примера доказательство теоремы из геометрии: «в прямоугольном треугольнике квадрат гипотенузы равен сумме квадратов катетов*».

     Выделим сначала в этом утверждении посылку и заключение.
Посылка теоремы: U = «треугольник ABC – прямоугольный».
Заключение теоремы: W = «квадрат гипотенузы равен сумме квадратов катетов ».

     При доказательстве используются аксиомы геометрии (и по умолчанию – законы логики).

     Таким образом, нам нужно доказать, что

         (1)  из аксиом геометрии выводится U –>W.

     Используя знак знак выводимости |–, утверждение (1) можно записать в виде:

            Аксиомы |– U –> W.

     Доказательство – это  цепочка предложений, состоящая из аксиом и предложений, полученных из этих аксиом, с помощью конечного применения правил вывода. В конце цепочки должно стоять доказываемое предложение: 

                U –> W.

     Но на самом деле никогда это предложение там не стоит.

     Доказательство этой (и любой другой теоремы) начинается вовсе не словами «возьмём аксиомы, применим к ним правила вывода и так далее...».

     Нет. Первые слова иные.

    «Нам дано, что треугольник ABC – прямоугольный. Следовательно, ...»

     Но утверждения U вовсе не было среди аксиом (да и быть не могло – не все треугольники прямоугольные, и вообще не каждое предложение U должно выполняться): теорема утверждает лишь, что «если U, то W».

     Другими словами, все доказательства теорем начинаются присоединением посылки теоремы к множеству аксиом теории.

     А как заканчивается доказательство?

     Последние слова в нашем примере: «таким образом, квадрат гипотенузы равен сумме квадратов катетов, что и требовалось доказать».

     А требовалось доказать, не предложение W, а предложение:  «U влечёт W».

     В общем случае, для произвольной теоремы   окончание рассуждений примерно то же самое: «таким образом, мол, получаем W».

     Итак, учитель, рассказавший своим ученикам доказательство теоремы, беззастенчиво обманывает их.

     Сообщив, что будет доказано

       Аксиомы |– U –>W,

на самом деле доказывает другое:

          (2) из аксиом геометрии и U выводится W, т.е.

                Аксиомы, U |– W.

    И так происходит не с одной, отдельно взятой теоремой, а со всеми теоремами любой аксиоматической теории (и не только геометрии).

     Если бы, не дай Бог, оказалось, что утверждения (1) и (2) не равносильны, то, возможно, что все аксиоматические теории, начиная с геометрии, лежали бы в развалинах.

     Многие (если не все) «теоремы» могли оказаться ложными.

     К счастью, этого не случилось. В 1930 году молодой француз Жак Эрбран**  устранил этот пробел, доказав, что утверждения (1) и (2) на самом деле равносильны - они истинны или ложны одновременно:

              Аксиомы |– U –> W  <=>  Аксиомы, U |– W.

     Правда, эта равносильность была установлена после более чем двух тысяч лет использования аксиоматического метода, и поэтому прошедшие века действительно были веками величайшего обмана (и самообмана).

     Утверждение

              Аксиомы |– U –> W <=>  Аксиомы, U |– W.

называют ТЕОРЕМОЙ О ДЕДУКЦИИ.

     Благодаря теореме Эрбрана и становится позволительно при аксиоматическом построении теории формулировать одно утверждение, а доказывать другое.

  Часть 7 http://proza.ru/2024/09/24/78

______


                Примечания

       * Пифагор Самосский  (570–495 до н.э.).

       ** Жак Эрбран (Jacques Herbrand, 1908–1931) – французский математик.  Творческий и жизненный путь Эрбрана оборвался трагически: он увлекался альпинизмом и погиб в июле 1931 года во Французских Альпах.



Фото из Интернета. Жак Эрбран (1931 г.). Французские Альпы летом


Рецензии
В TeX символ турникета ⊢ {\displaystyle \vdash } получается из команды \vdash.

В Юникоде символ турникета (\vdash) называется «кнопка вправо» и находится на кодовой позиции U+22A2[1].
Кодовая позиция U+22A6 называется «знак утверждения» (\vdash).

На пишущей машинке турникет может состоять из вертикальной полосы (|) и тире (-). В LaTeX есть турникетный пакет, который выдаёт этот знак во многих случаях и способен помещать знаки ниже или выше него в нужных местах.

Александр Рыбников   13.12.2024 23:41     Заявить о нарушении
Здравствуйте, Александр!

В Вашем тексте символ [1] в "U+22A2[1]" — это ссылка на литературу, перечень которой дан в конце статьи из Википедии, из которой Вы вырезали этот фрагмент.

К сожалению, похоже, что Вы просто скопировали этот фрагмент из Википедии, даже не прочитав.

Конечно, человек, живо интересующийся чем-то для него совершенно незнакомым, вызывает уважение.

С уважением,

Петр Савватеев   14.12.2024 01:24   Заявить о нарушении
Уважаемый Петр Савватеев!

Я просто показал, что копию символа турникета из Википедии можно использовать сколько угодно:

С уважением.

Александр Рыбников   14.12.2024 20:47   Заявить о нарушении
Интересное кино: в рецензии символ турникета ⊢ сохраняется, а в замечании символ турникета ⊢ пропадает.

Решил проверить ещё раз.

Александр Рыбников   15.12.2024 15:55   Заявить о нарушении
Сейчас сохранился.

Александр Рыбников   15.12.2024 15:56   Заявить о нарушении
На это произведение написано 12 рецензий, здесь отображается последняя, остальные - в полном списке.