Обсуждение:Доказательные вычисления

Последнее сообщение: 14 лет назад от Tim2 в теме «Контрпример не теорема»

Контрпример не теорема

править

Приведенный пример с утверждением Эйлера – случай контрпримера. Контрпример не теорема – это стоит отметить, как и то, что вычислительные методы чаще используют для опровержения гипотез, а не для подтверждения. К сожалению, случаи, когда вычислениями можно доказать содержательное созидательное утверждение очень редки и т.о. являются исключительными. Так проблема 4х красок – единственный известный пример из всей теории графов.--tim2 06:26, 16 февраля 2010 (UTC)Ответить

Формально и контрпример можно рассматривать как теорему, но я согласен, что это нужно в отразить в тексте, что я и сделаю. Не вполне согласен, что доказательными вычислениями редко можно доказать созидательные утверждения. Есть примеры в гидродинамике - я приведу еще примеры. Есть также применение и в дифференциальных уравнениях и динамических системах. В ближайшем будущем я планирую дополнять эту статью новыми приложениями доказательных утверждений. Shamin Roman 06:50, 16 февраля 2010 (UTC)Ответить
Ok - нужно больше примеров из разных областей! Про гидродинамику судить не берусь. Да, "Формально и контрпример можно рассматривать как теорему", но не стоит: иначе будет слишком много теорем, мат.сообщество будет против :)--tim2 07:00, 16 февраля 2010 (UTC)Ответить