> То есть, будучи уверенными, что мы проверяли именно ошибочность нашего предположения, а не противоречивость системы аксиом, мы могли бы весьма долго плодить «доказательства», которые на самом деле ничего не доказывают.
>Из этого вытекает, что «доказательство от противного» является строгим лишь в ограниченном количестве случаев.
Почему только «доказательство от противного» является не строгим? Разве нельзя точно так же придраться и к обычному доказательству. Типа, мы же не уверены, что мы получили следствие не из противоречия, из которого можно доказать что угодно?
Так же легко можно доказать, что 1 != 2, не пользуясь никаким методом от противного. Почему тогда вы критикуете только метод от противного? Почему вы при обычном методе не требуете проверки того, что 1 != 2.
Вообще, любое следствие из системы аксиом, которую мы не проверили на непротиворечивость - не строгое, как бы мы его не получили (обычным методом или методом от противного).
Comments 3
Reply
>Из этого вытекает, что «доказательство от противного» является строгим лишь в ограниченном количестве случаев.
Почему только «доказательство от противного» является не строгим? Разве нельзя точно так же придраться и к обычному доказательству. Типа, мы же не уверены, что мы получили следствие не из противоречия, из которого можно доказать что угодно?
Например, докажем, что 1 = 2.
0/0 = 1
2 * 0/0 = 2
((1 + 1)*0) / 0 =2
0/0 = 2
1 = 2.
Так же легко можно доказать, что 1 != 2, не пользуясь никаким методом от противного.
Почему тогда вы критикуете только метод от противного? Почему вы при обычном методе не требуете проверки того, что 1 != 2.
Вообще, любое следствие из системы аксиом, которую мы не проверили на непротиворечивость - не строгое, как бы мы его не получили (обычным методом или методом от противного).
Reply
Reply
Leave a comment