Забавно, что в обсуждении задачки:
http://going-out.livejournal.com/155677.htmlникто не придумал следующее "решение": да, действительно "ДОКАЗАНО", что (грустное) событие не может состояться. Поэтому, когда оно все же происходит - это-то и есть сюрприз (о котором нельзя догадаться заранее).
Даже не коан ...
Comments 6
Reply
Reply
Я вот только смысл Вашего поста не понял. Что имеется в виду?
Reply
Reply
Противоречие типа "не может быть" -- "но оно есть!" возникает только в контексте рассуждения, а не в реальности. Удивляться тут нечему, так как в любом рассуждении, проводимом "от противного", противоречие возникает, доказывая невозможность ситуации. В обсуждаемой задаче такое противоречие является необходимым элементом.
Логическая модель здесь совершенно "чистая", кстати -- если правильно её построить.
Без привлечения понятия "законности" эта задача просто тривиализуется, и именно по такой причине привлекается само понятие.
Reply
Reply
Leave a comment