Leave a comment

Comments 3

ext_2843082 December 27 2020, 11:57:14 UTC
Лекс, когда новые стримы? Народ требует стримней!

Reply


dobriy24 February 24 2021, 16:43:38 UTC
> То есть, будучи уверенными, что мы проверяли именно ошибочность нашего предположения, а не противоречивость системы аксиом, мы могли бы весьма долго плодить «доказательства», которые на самом деле ничего не доказывают.

>Из этого вытекает, что «доказательство от противного» является строгим лишь в ограниченном количестве случаев.

Почему только «доказательство от противного» является не строгим? Разве нельзя точно так же придраться и к обычному доказательству. Типа, мы же не уверены, что мы получили следствие не из противоречия, из которого можно доказать что угодно?

Например, докажем, что 1 = 2.
0/0 = 1
2 * 0/0 = 2
((1 + 1)*0) / 0 =2
0/0 = 2
1 = 2.

Так же легко можно доказать, что 1 != 2, не пользуясь никаким методом от противного.
Почему тогда вы критикуете только метод от противного? Почему вы при обычном методе не требуете проверки того, что 1 != 2.

Вообще, любое следствие из системы аксиом, которую мы не проверили на непротиворечивость - не строгое, как бы мы его не получили (обычным методом или методом от противного).

Reply

lex_kravetski February 24 2021, 16:52:22 UTC
> Почему только «доказательство от противного» является не строгим ( ... )

Reply


Leave a comment

Up