Доказательство существования бога
Эту задачку почти все уже, наверное, знают, но все же:
Учитель сказал ученикам, что даст им контрольную на следующей неделе, причем так, что за день до того ученики не смогут вычислить, что контрольная будет на тот момент завтра.
Ученики оказались умными, и тут же доказали, что контрольной не может быть в пятницу. Они подумали так: по закону исключенного третьего контрольная в пятницу либо будет либо не будет. Далее по принципу от противного. Путь она будет в пятницу, но тогда мы доживем до вечера четверга и в понедельник, вторник, среду, и четверг контрольной не будет (так как она одна за неделю) и в четверг вечером мы будем точно знать, что контрольная в пятницу. Получается противоречие и по принципу доказательства от противного получается, что в пятницу контрольной не будет.
Это утверждение ученики тут же дружно назвали Теоремой 1 и тут же им в голову пришла в голову совершено аналогичным способом доказываемая Теорема -2 , о том что контрольной не будет в четверг, Теорема 3 про среду , Т - 4 про вторник и Т - 5 про понедельник. Так ученики доказали, что контрольной не будет и успокоились. А учитель дал контрольную в среду.... И ученики очень удивились.
У этого парадокса есть несколько решений, например, отказ от принципа доказательства от противного и закона и исключенного третьего, но я придумал решение покрасивее.
Думаю, все было так: учитель после того как рассказал ученикам о предстоящей контрольной, вернулся домой, подумал и понял, что сказал глупость, или даже хуже, просто соврал. И от это ему стало так мучительно стыдно, что он помолился богу, и попросил его разрешить эту проблему. Бог явился ему и сказал: "устрой контрольную в среду, и все будет хорошо", так учитель и поступил, и чудесным образом его слова оправдались и он оказался прав, и ученики ничего не смогли вычислить.
А теперь можно доказать, что бог существует: По принципу доказательства от противного. Пусть бога нет, но тогда противоречие (см. выше). Следовательно бог есть. (А если бог есть, то противоречие разрешается, кстати, что тоже важно, иначе так же можно было бы доказать, что бога нет). Конец доказательства.
Вот такое доказательство существования бога )
(Бог правда тут выступает всего лишь в роли универсального разрешения противоречий)
Учитель сказал ученикам, что даст им контрольную на следующей неделе, причем так, что за день до того ученики не смогут вычислить, что контрольная будет на тот момент завтра.
Ученики оказались умными, и тут же доказали, что контрольной не может быть в пятницу. Они подумали так: по закону исключенного третьего контрольная в пятницу либо будет либо не будет. Далее по принципу от противного. Путь она будет в пятницу, но тогда мы доживем до вечера четверга и в понедельник, вторник, среду, и четверг контрольной не будет (так как она одна за неделю) и в четверг вечером мы будем точно знать, что контрольная в пятницу. Получается противоречие и по принципу доказательства от противного получается, что в пятницу контрольной не будет.
Это утверждение ученики тут же дружно назвали Теоремой 1 и тут же им в голову пришла в голову совершено аналогичным способом доказываемая Теорема -2 , о том что контрольной не будет в четверг, Теорема 3 про среду , Т - 4 про вторник и Т - 5 про понедельник. Так ученики доказали, что контрольной не будет и успокоились. А учитель дал контрольную в среду.... И ученики очень удивились.
У этого парадокса есть несколько решений, например, отказ от принципа доказательства от противного и закона и исключенного третьего, но я придумал решение покрасивее.
Думаю, все было так: учитель после того как рассказал ученикам о предстоящей контрольной, вернулся домой, подумал и понял, что сказал глупость, или даже хуже, просто соврал. И от это ему стало так мучительно стыдно, что он помолился богу, и попросил его разрешить эту проблему. Бог явился ему и сказал: "устрой контрольную в среду, и все будет хорошо", так учитель и поступил, и чудесным образом его слова оправдались и он оказался прав, и ученики ничего не смогли вычислить.
А теперь можно доказать, что бог существует: По принципу доказательства от противного. Пусть бога нет, но тогда противоречие (см. выше). Следовательно бог есть. (А если бог есть, то противоречие разрешается, кстати, что тоже важно, иначе так же можно было бы доказать, что бога нет). Конец доказательства.
Вот такое доказательство существования бога )
(Бог правда тут выступает всего лишь в роли универсального разрешения противоречий)