Apr. 15th, 2017

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

Оригинал взят у [livejournal.com profile] sspr в о доказательствах
Оригинал взят у [livejournal.com profile] avva в о доказательствах

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



Read more... )

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



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



July 2017

S M T W T F S
      1
23456 78
9101112131415
16171819202122
23242526272829
3031     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 22nd, 2017 06:52 pm
Powered by Dreamwidth Studios