Логика

Утверждение неочевидное, но верное: само по себе доказательство может быть верным даже при неверности исходных утверждений.
(услышал это сегодня от сэра Чарльза Энтони Ричарда Хоара)

Два забавных следствия:
1. Услышав ВЕРНОЕ доказательство, проверяйте исходные данные.
2. Сначала можно что-то предположить и из этого что-то доказать, а после этого доказать (или убедиться в верности) начальные утверждения.

Posted via LiveJournal app for iPhone.