= Сообщение: 15776 из 16056 ================================ XSU.USELESS.FAQ = От : Victor Sudakov 2:5005/49 08 Jan 22 12:58:14 Кому : eugen 08 Jan 22 12:58:14 Тема : Плоская Земля FGHI : area://XSU.USELESS.FAQ?msgid=2:5005/49+61d92c96 На : area://XSU.USELESS.FAQ?msgid=grosbein.net+8bfb0915 = Кодировка сообщения определена как: CP866 ================================== ============================================================================== Dear eugen,
07 Jan 22 21:57, Eugene Grosbein wrote to me:
VS>> А вот это уже довольно шаткая позиция с точки зрения логики. VS>> Доказать (и значит достоверно знать) несуществование чего-то VS>> неизмеримо труднее, чем доказать существование. Hаверное только в VS>> математике можно строго доказать несуществование, потому что VS>> математика полностью искусственна.
EG> В физике тоже можно доказывать несуществование, и в медицине даже.
Индуктивные утверждения делать можно, разумеется. Например "На расстоянии N от Земли нет космических тел диаметром больше M". Но это не доказательство несуществования, потому что сегодня нет, а завтра прилетит.
Согласись, что это совершенно другого рода "доказательство", оно эмпирическое, в отличие от "не существует корней уравнения x+1=x+2".
EG> Есть такое (строго определяемое) понятие "почти всюду", EG> так вот можно доказывать несуществование "почти всюду", EG> то есть когда множество исключений имеет нулевую меру, EG> то есть пусто или меньше "порога чувствительности".