LINUX.ORG.RU

История изменений

Исправление anonymous_incognito, (текущая версия) :

Товарищ. Вы не изучали философию. Прогуливали университет. Несуществование не требует доказательств. Иначе, бардак будет.

Чего-то мне такая философия не нравится. Потому что есть логика.

Доказательство несуществования эквивалентно доказательству существования и единственности инвертированного утверждения.

Также несуществование доказывается от обратного: показывается логическое противоречие утверждения о существовании.

В принципе и остальные логические методы могут быть использованы для доказательства несуществования.

В математике полно теорем, в которых доказывается именно несуществование чего-либо. Теорема Ферма из эпичного, к примеру. Просто неразрешимость чего-либо над чем-либо.

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

Исправление anonymous_incognito, :

Товарищ. Вы не изучали философию. Прогуливали университет. Несуществование не требует доказательств. Иначе, бардак будет.

Чего-то мне такая философия не нравится. Потому что есть логика.

Доказательство несуществования эквивалентно доказательству существования и единственности инвертированного утверждения.

Также несуществование доказывается от обратного: показывается логическое противоречие утверждения о существовании.

В принципе и остальные логические методы могут быть использованы для доказательства несуществования.

В математике полно теорем, в которых доказывается именно несуществование чего-либо. Теорема Ферма из эпичного, к примеру. Просто неразрешимость чего-либо над чем-либо.

Исходная версия anonymous_incognito, :

Товарищ. Вы не изучали философию. Прогуливали университет. Несуществование не требует доказательств. Иначе, бардак будет.

Чего-то мне такая философия не нравится. Потому что есть логика.

Доказательство несуществования эквивалентно доказательству существования и единственности инвертированного утверждения.

Также несуществование доказывается от обратного: показывается логическое противоречие утверждения о существовании.

В принципе и остальные логические методымогут быть использованы для доказательства несуществования.

В математике полно теорем, в которых доказывается именно несуществование чего-либо. Теорема Ферма из эпичного, к примеру. Просто неразрешимость чего-либо над чем-либо.