История изменений
Исправление anonymous_incognito, (текущая версия) :
А о НЕ_возможности доказательства того, что чего-то не существует. Вот из НЕ_возможности доказательства того, что чего-то не существует, ничего не следует.
Ещё как следует.
Математически НЕ_возможность доказать, что чего-то не существует (как и наоборот, что существует) означает аксиоматическую неполноту системы, где это так или для данных утверждений, если следовать теореме Гёделя.
В математике - тоже. И никакая это не обраная задача.
Очень даже обратная. Чайник Рассела - пример того, что для доказательства, что между Землёй и Марсом нет маленького фарфорового чайника потребуется слишком огромная работа по изучению пространства между ними. А вот доказать его наличие (если он есть) куда проще - надо только указать на него.
Впрочем, когда Рассел привёл такую аналогию чайников там точно не водилось, сейчас бы не поручился на 100% :)))
Исправление anonymous_incognito, :
А о НЕ_возможности доказательства того, что чего-то не существует. Вот из НЕ_возможности доказательства того, что чего-то не существует, ничего не следует.
Ещё как следует.
Математически НЕ_возможность доказать, что чего-то не существует (как и наоборот, что существует) означает аксиоматическую неполноту системы, где это так или для данных утверждений, если следовать теореме Гёделя.
В математике - тоже. И никакая это не обраная задача.
Очень даже обратная. Чайник Рассела - пример того, что для доказательства, что между Землёй и Марсом нет маленького фарворового чайника потребуется слишком огромная работа по изучению пространства между ними. А вот доказать его наличие (если он есть) куда проще - надо только указать на него.
Впрочем, когда Рассел привёл такую аналогию чайников там точно не водилось, сейчас бы не поручился на 100% :)))
Исходная версия anonymous_incognito, :
А о НЕ_возможности доказательства того, что чего-то не существует. Вот из НЕ_возможности доказательства того, что чего-то не существует, ничего не следует.
Ещё как следует.
Математически НЕ_возможность доказать, что чего-то не существует (как и наоборот, что существует) означает аксиоматическую неполноту системы, где это так.
В математике - тоже. И никакая это не обраная задача.
Очень даже обратная. Чайник Рассела - пример того, что для доказательства, что между Землёй и Марсом нет маленького фарворового чайника потребуется слишком огромная работа по изучению пространства между ними. А вот доказать его наличие (если он есть) куда проще - надо только указать на него.
Впрочем, когда Рассел привёл такую аналогию чайников там точно не водилось, сейчас бы не поручился на 100% :)))