Можно ли для любой теоремы придумать доказательство от обратного с приходом к противоречию?
ОбразованиеМатематика+4
Алена КаменецкихМатематика и математики
· 2,1 K
Да, в любой теории с принципом исключенного третьего доказанную теорему можно доказать и от противного. Предположение о неверности теоремы обязательно будет противоречить ее имеющемуся доказательству.
Незадача Кью.
Решение задач по математике
Перейти на yandex.ru/q/loves/7b65a89f-f3fa-4aac-9d7b-824b66b44f01
2 эксперта согласныи1 эксперт не согласен
Игорь Маленький Ph.D.
21 декабря 2021возражает
есть недоказуемые теоремы. Поэтому ответ нет
Openstack DevOps and IBM/Informix Certified DBA . Phd in Math (Duality of spaces of... · 21 дек 2021
Не думаю, что результаты класса контр-примеров и чистых
теорем существования ( L^2 оценки Хермандера для ∂-upper score оператора ) реально доказать от противного
===============
1. Н. М. Зобин, Б. С. Митягин, Примеры ядерных метрических линейных пространств без базиса, Функц. анализ и его прил., 1974, том 8, выпуск 4, 35–47
http://www.mathnet.ru/links/8966f6748b94f74e8c... Читать далее
Автор удалил комментарий
Математик, программист, инженер, интересуюсь также психологией и общественными отношениями · 23 дек 2021
Ну так из вредности в начале пишем, что "допустим это не так", затем ведём прямое доказательство, так мы приходим к противоречию, как итог чисто логически вы провели доказательство от обратного. Если же опустить логическо-лингвистические игры, то это зависит от задачи и пространства(утверждений и матаппарата) в которое мы переводим задачу решая обратную и вполне может... Читать далее
1 эксперт согласен
Борис Державец
23 декабря 2021подтверждает
В реальной работе прямой ход неизвестен . Если же он известен, то Алгебра логики работающему математику в этой... Читать дальше