о доказательствах

утром сёрфил про Гольфстрим, а вечером увидел репост с похожей основой.
1) передача энергии не требует передачи массы;
2) передача информации не означает передачу значительной энергии;
3) передача информации приводит к изменению массы.
имхо, здесь нет противоречия – всего лишь особенность языка.

Оригинал взят у sspr в о доказательствах

Оригинал взят у avva в о доказательствах

В одной из своих замечательных заметок (англ., PDF) Дейкстра протестует против, по его мнению, вредного и приводящего к путанице понятия косвенного доказательства. Если, желая доказать A--->B (из A следует B), мы начинаем с предположения "не-B", и доказываем исходя из этого "не-A", это называется косвенным доказательством (в отличие от прямого доказательства, когда мы предполагаем A и доказываем B напрямую).

( Read more... )

Дейкстра неправ. Математики не просто так используют разные названия, когда говорят об этих двух принципах. Хотя с точки зрения формальной логики они и тождественны, есть доказательства, "естественным" образом использующие индукцию, а есть доказательства, "естественным" образом использующие принцип бесконечного спуска. Но что это значит - "естественным образом", и как это продемонстрировать?

Об этом - через час-два в следующей записи :)