2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В этом разделе нельзя создавать новые темы.



Начать новую тему Ответить на тему На страницу 1, 2  След.
 
 Поиск контрпримеров
Сообщение20.06.2013, 20:37 


10/06/13
4
Интересуют конкретные методы поиска контрпримера на какое-либо (предположительно неверное) утверждение.
Какими способами это можно сделать? Существует ли схема, схожая с доказательствами теорем равносильности?

 Профиль  
                  
 
 Re: Поиск контрпримеров
Сообщение20.06.2013, 21:18 


10/02/11
6786
а что существует схема доказательства теорем? :mrgreen:

 Профиль  
                  
 
 Re: Поиск контрпримеров
Сообщение20.06.2013, 22:27 


10/06/13
4
Oleg Zubelevich

Серия "Мир математики" Доказательства.

Можно ответить и книжкой. :3

 Профиль  
                  
 
 Re: Поиск контрпримеров
Сообщение20.06.2013, 22:52 


10/02/11
6786
А ну раз вы освоили схему доказательства теорем, то у вас есть способ быстро разбогатеть: http://www.claymath.org/millennium/

 Профиль  
                  
 
 Re: Поиск контрпримеров
Сообщение20.06.2013, 23:02 


28/11/11
2884
Возможно, имеет смысл прочитать книгу Тао.

 Профиль  
                  
 
 Re: Поиск контрпримеров
Сообщение21.06.2013, 18:20 


10/06/13
4
Oleg Zubelevich

Ваш сарказм не уместен.
Если нечего предложить, то и не пишите.

longstreet

В википедии ссылка на публикацию "Решение математических задач: личный взгляд" на английском. Существует перевод?

 Профиль  
                  
 
 Re: Поиск контрпримеров
Сообщение21.06.2013, 18:41 
Заслуженный участник


08/04/08
8562
akp43dsn в сообщении #739180 писал(а):
Oleg Zubelevich

Ваш сарказм не уместен.
Если нечего предложить, то и не пишите.
К сожалению, сарказм уместен. Например, исчисление предикатов (ИП) полно, но неразрешимо. Полнота означает, что для любой замкнутой формулы $F$ из ИП одна из формул $F$ и $\neg F$ общезначима, а вторая - нет, т.е. для нее существует контрпример. Если существует алгоритм поиска контрпримера, то применяя его параллельно к $F$ и к $\neg F$, получим основу алгоритма разрешимости, что противоречит неразрешимости ИП. (надеюсь, не наврал в рассуждении. Такое ощущение, что наврал)
Наврал. Ну вот примеры:
1. Существует нечетное совершенное число.
2. Вещественная часть нетривиальных нулей дзета-функции равна $1/2$.
3. Как найти контрпример к гипотезе Коллатца?
4. Найти для произвольного многочлена $f$ контрпример к утверждению $(\forall x_1)...(\forall x_n)f(x_1,...,x_n)\neq 0$
Т.е. когда Вы пишите "хочу метод поиска контрпримера", это понимается как "хочу метод поиска контрпримера вообще", а такового нет. Есть лишь конкретные классы утверждений, для которых можно строить контрпримеры (думаю, Вы имеете ввиду их, но об этом надо писать явно - правильно ставить вопрос). Какие конкретно классы Вы имеете ввиду - никто не знает. Например, есть алгоритм проверки истинности высказывания из алгебры высказываний, либо построения контрпримера. Интересно? Нет? Почему? Большинство примеров может оказаться либо тривиальными, либо слишком специальными, либо неалгоритмизуемыми.
Хотя бы какая область Вам нужна? Школьная математика? Алгебра? Теория множеств? Линейная алгебра? Матанализ? Функциональный анализ? Диффуры? (кстати, есть книга Геллбаума, Олмстеда Контрпримеры в анализе. Интересно? Нет? Почему?)

 Профиль  
                  
 
 Re: Поиск контрпримеров
Сообщение21.06.2013, 18:51 
Аватара пользователя


11/06/12
10390
стихия.вздох.мюсли

(Оффтоп)

Sonic86 в сообщении #739194 писал(а):
3. Как найти контрпример к гипотезе Коллатца?
Участвую в проекте распределённых вычислений, посвящённом этой проблеме. Пока что не нашли ;-)

 Профиль  
                  
 
 Re: Поиск контрпримеров
Сообщение21.06.2013, 18:53 
Заслуженный участник


08/04/08
8562

(Оффтоп)

Aritaborian в сообщении #739198 писал(а):
Участвую в проекте распределённых вычислений, посвящённом этой проблеме. Пока-что не нашли ;-)
Надеюсь, что ТС Вам поможет :-)

 Профиль  
                  
 
 Re: Поиск контрпримеров
Сообщение21.06.2013, 20:32 


10/06/13
4
Sonic86

Нужны основы, от которых идут методы поиска контрпримеров и доказательств вообще. Книга помогает, но не полностью.
Я и сам понимаю, что если бы существовал алгоритм, то математиком бы стала любая обезьяна.
Конкретней, мне не хватает практики. А рассуждать(как делает это средний физмат школьник) меня не учили.

(Оффтоп)

По ОП посту же понятно, что я профан, но с конкретным вопросом, а не в стиле:"Помогите мне освоить вузовский курс за год". Поэтому сарказм здесь неуместен!

 Профиль  
                  
 
 Re: Поиск контрпримеров
Сообщение21.06.2013, 20:45 


19/05/10

3940
Россия
Попробуйте Пойа - Математика и правдоподобные рассуждения, есть более простая книга у него "Как решать задачу?".

 Профиль  
                  
 
 Re: Поиск контрпримеров
Сообщение21.06.2013, 20:56 
Заслуженный участник
Аватара пользователя


08/11/11
5940
Возможно, будет полезным почитать книги Пойа "Математика и правдоподобные рассуждения" и "Как решать задачу". Ну еще есть книга Гелбаума и Олстеда "Контрпримеры в анализе". Там про то, как их искать, нету, но многие новые примеры основаны на уже известных, и вообще полезно знать, что бывает.

Вот еще есть книга http://en.wikipedia.org/wiki/Counterexa ... n_Topology (не читал) и страничка http://profsite.um.ac.ir/~moslehian/cfa/cfa.htm.

-- 21.06.2013, 21:56 --

mihailm в сообщении #739251 писал(а):
Попробуйте Пойа - Математика и правдоподобные рассуждения, есть более простая книга у него "Как решать задачу?".


Опередили :)

 Профиль  
                  
 
 Re: Поиск контрпримеров
Сообщение21.06.2013, 21:26 
Аватара пользователя


11/06/12
10390
стихия.вздох.мюсли

(Оффтоп)

Sonic86 в сообщении #739199 писал(а):
Надеюсь, что ТС Вам поможет :-)
Всё бы вам смеяться. Вольфрам показал, что проблема $3n+1$ эквивалентна некоторому клеточному автомату. Соответственно, этот вопрс равен вопросу останова некоей машины Тьюринга. А проблема останова решения не имеет. Единственный способ опровергнуть гипотезу состоит в нахождении контрпримера. Перебором и только им. Вот и стараемся, выделяем мощности ;-)

 Профиль  
                  
 
 Re: Поиск контрпримеров
Сообщение21.06.2013, 22:59 
Заслуженный участник
Аватара пользователя


08/11/11
5940

(Оффтоп)

Aritaborian в сообщении #739262 писал(а):
Соответственно, этот вопрс равен вопросу останова некоей машины Тьюринга. А проблема останова решения не имеет.


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

 Профиль  
                  
 
 Re: Поиск контрпримеров
Сообщение21.06.2013, 23:28 
Аватара пользователя


11/06/12
10390
стихия.вздох.мюсли
Ну дык. Но проблема $3n+1$ сводится к автомату, предсказать эволюцию которого невозможно. Её можно лишь проследить.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 22 ]  На страницу 1, 2  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group