sergey писал(а):
Прекрасный метод. Итак тезис: Любое целое положительное число может быть представлено в виде суммы двух простых чисел.
Теорема. Тоже тезис.
sergey писал(а):
Демонстрация: 8=5+3, 20=13+7, 30=19+11
Это не демонстрация, а примеры. Вот если бы вы нашли хотя бы одно число, которое нельзя было бы представить в виде суммы двух простых чисел, то вы бы опровергли ваш тезис. Но я так понимаю, что эта теорема верна, а потому её доказательство перебором всех целых положительных чисел займёт у вас бесконечное время. Можно и так доказывать.
Вам следует здесь привести доказательство этой теоремы. Доказательства состоят из аргументов. Если тезис вытекает из аргументов с логической необходимостью, то у вас всё получится и в конце цепочки рассуждений вы скажете: "Что и требовалось доказать". Собственно, в математике доказательство как раз и является демонстрацией логической связи аргументов с тезисом.
За пределами математики, где понятия не так строго и однозначно определены, всё может быть сложнее. Этим пользовались софисты. Этим же пользовался Сократ, когда софистов троллил. Вот поглядите, как он замечательно поиздевался над Гиппием.
Сократ выдвигает аргумент: знание лучше незнания, а знающий лучше незнающего. Гиппий не спорит. А тогда Сократ разворачивает доказательство того, что сознательный лжец лучше ошибающегося, т.е. того, кто говорит неправду непреднамеренно.
Поскольку сознательный лжец знает правду в отличие от ошибающегося, то получается, что лгущий намеренно лучше того, кто это делает невольно.
Каково?!
Дальше-то Сократ доводит Гиппия до крайней степени смущения, поскольку он (Гиппий) не находит, что возразить Сократу на его доказательство того, что сознательный грешник лучше несознательного.
Попробуйте найти ошибку.
Вход
FAQ
Поиск
ну ка найдите ко мои йитаты где бы я утверждал что отлично знаю русский язык и у меня отличная орфография