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