2014 dxdy logo

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

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




Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3  След.
 
 Re: лошадиное доказательство
Сообщение17.09.2013, 23:02 


26/08/11
2108
_Ivana в сообщении #764859 писал(а):
проблема тут вовсе не в индукционном переходе при $n=1$
Именно там. Потому что если удастся доказать, что любые две лошади - одного цвета, утверждение будет верно. Но доказательство: первая лошадь одного (своего) цвета, и вторая одного цвета, значит обе одного цвета- сами понимаете, ... просто игра слов.

 Профиль  
                  
 
 Re: лошадиное доказательство
Сообщение17.09.2013, 23:04 
Заслуженный участник
Аватара пользователя


15/10/08
30/12/24
12599
Есть ещё теорема о длинноширинности крокодилов. Там тоже интересно...

 Профиль  
                  
 
 Re: лошадиное доказательство
Сообщение17.09.2013, 23:11 
Заслуженный участник
Аватара пользователя


18/01/13
12065
Казань
_Ivana в сообщении #764859 писал(а):
2) проблема тут вовсе не в индукционном переходе при $n=1$, а в подмене утверждений: вместо "если имеем $k$ лошадей одного цвета, то добавив к ним одну лошадь, полученный набор также будет одного цвета" - какое должно проверяться при правильном применении метода индукции, применяется очевидно истинное, но другое утверждение: "если из $m$ лошадей любые $m-1$ одного цвета, то все они одного цвета".

Разве одно другому мешает? Подмена утверждений и приводит к ошибке в индукционном переходе. Не в базе же!

Что касается литературы - поищите по теме "теория отношений".

-- 17.09.2013, 23:13 --

Утундрий в сообщении #764869 писал(а):
Есть ещё теорема о длинноширинности крокодилов. Там тоже интересно...
Это вообще шедевр! Хотя и баян...

 Профиль  
                  
 
 Re: лошадиное доказательство
Сообщение17.09.2013, 23:14 


05/09/12
2587
Утундрий, та, которая доказывается через отношение длинности и ширинности к зелености? Не производит впечатление, что там есть над чем подумать.

Shadow, ваше утверждение правильно. Но тогда теорема "все лошади белые" неверна сразу, потому что даже при $n=1$ у нас это условие не выполняется, если понимать его как "любая лошадь белая". А если понимать как "возьмем белую лошадь" - тогда мы можем их взять хоть 100 (проверив истинность утверждения не только для $n=1$, а и для кучи других - на всякий случай, ведь метод индукции этого не запрещает), и тогда уже не будет иметь значение, от какого конечного стартового числа начинать индуктивный переход, не будет проблем с пустым множеством и т.п.

provincialka спасибо, поищу.

 Профиль  
                  
 
 Re: лошадиное доказательство
Сообщение17.09.2013, 23:19 
Заслуженный участник
Аватара пользователя


15/10/08
30/12/24
12599
_Ivana в сообщении #764875 писал(а):
Не производит впечатление, что там есть над чем подумать.

А в лошадях есть о чём? :shock: Арность, арность! Бинарную операцию путём хитрого словоблудия свели к унарной и в результате закономерно получили чушь. Вот и вся любовъ мораль.

 Профиль  
                  
 
 Re: лошадиное доказательство
Сообщение17.09.2013, 23:25 
Заслуженный участник
Аватара пользователя


18/01/13
12065
Казань
_Ivana в сообщении #764875 писал(а):
Shadow,А если понимать как "возьмем белую лошадь" - тогда мы можем их взять хоть 100 (проверив истинность утверждения не только для $n=1$,

Но ведь это будет уже другое доказательство! И ошибка в нем другая. С индукцией такое бывает: более сильное утверждение (скажем, неравенство) иногда легче доказать, чем более слабое. Вот и здесь так: сначала "доказывают", что все лошади белые, а потом находят одну белую лошадь. Или, скажем, мышь, ведь вид животного в доказательстве не используется (в исходном тексте, насколько я помню, брали вообще белого слона).

 Профиль  
                  
 
 Re: лошадиное доказательство
Сообщение24.09.2013, 08:29 


24/09/13
4
Поскольку в доказательстве "лошадь" никак не фигурирует, то можно заменить "лошадь" на "животное". Общеизвестно существование белых слонов (см. Марк Твен "Похищение белого слона"), следовательно, все животные могут быть только одного белого цвета. Кстати, из этого же следует, что Александр Македонский никогда не существовал. В самом деле, в источниках существуют упоминания, что конь Александра Буцефал был либо вороной, либо желтовато-рыжей масти. А мы только что доказали, что все животные могут быть только белого цвета. Следовательно, не существовало ни коня Буцефала, ни его хозяина Александра Македонского...

Кстати, именно эта теорема и дальнейший околонаучный стеб вокруг нее описан в замечательной книге "Физики продолжают шутить".

А теорема о крокодилах: "Крокодил более длинный, чем широкий" тоже легко доказывается с помощь двух лемм:) Могу доказать:) Доказательство когда-то было опубликовано в журнале Квант.

 Профиль  
                  
 
 Re: лошадиное доказательство
Сообщение24.09.2013, 10:16 
Заслуженный участник
Аватара пользователя


18/05/06
13438
с Территории
Кажется, там было через промежуточную величину "зелёный"...

 Профиль  
                  
 
 Re: лошадиное доказательство
Сообщение24.09.2013, 10:46 
Аватара пользователя


08/01/13
247
По-моему, rwwd решил потроллить участников форума. Сама "теорема" образчик
софизма. Чтобы использовать метод математической индукции нужно иметь доступ к
свойствам элементов множества по номеру (формула общего члена), или реккурентное соотношение (связь между отдельными элементами). Ни того, ни другого в данной "теореме" нет. Ну что, новое поколение математиков от "комеди клаб", дом-2 и других... Надежда российской науки ((

 Профиль  
                  
 
 Re: лошадиное доказательство
Сообщение24.09.2013, 11:10 
Заслуженный участник
Аватара пользователя


21/12/05
5932
Новосибирск
Никакого троллинга. Речь идёт о понимании метода математической индукции. Одна из наиболее частых ошибок при применении метода состоит в том, что не проверятся проходимость индуктивного перехода от любого натурального числа к следующему. Над некоторыми владеет, так сказать, магия обобщения - коль скоро сказано про $n$, то оно какое-то "неконкретное". Именно сюда в гротескной форме и засунута ошибка.

 Профиль  
                  
 
 Re: лошадиное доказательство
Сообщение24.09.2013, 11:12 
Заслуженный участник
Аватара пользователя


18/01/13
12065
Казань
Neos в сообщении #767235 писал(а):
По-моему, rwwd решил потроллить участников форума. Сама "теорема" образчик
софизма. Чтобы использовать метод математической индукции нужно иметь доступ к
свойствам элементов множества по номеру (формула общего члена), или реккурентное соотношение (связь между отдельными элементами). Ни того, ни другого в данной "теореме" нет. Ну что, новое поколение математиков от "комеди клаб", дом-2 и других... Надежда российской науки ((

Да какое же "новое"? Это баян страшный, я его с детства знаю. Забавное "доказательство" - хорошее логическое упражнение на поиск ошибки.

 Профиль  
                  
 
 Re: лошадиное доказательство
Сообщение24.09.2013, 11:54 


11/04/08
632
Марс
bot в сообщении #764706 писал(а):
Теорема имеет усиление. Все лошади белого цвета.

Усиление не прокатит - база будет не верная. Когда берем одну лошадь, она не всегда белая.

По-моему, единственное слабое место в доказательстве исходной теоремы:
Цитата:
Но тогда и все k + 1 лошадей будут одного цвета.
Например, для $k=1$ этот индуктивный переход не работает (а в ММИ это должно работать для любого $k$).

 Профиль  
                  
 
 Re: лошадиное доказательство
Сообщение24.09.2013, 14:06 
Заслуженный участник
Аватара пользователя


21/12/05
5932
Новосибирск
spyphy в сообщении #767253 писал(а):
Например, для $k=1$ этот индуктивный переход не работает (а в ММИ это должно работать для любого $k$).

Об этом уже давно сказано. В цепочке импликаций $P(1)\Rightarrow P(2)\Rightarrow P(3)\Rightarrow \ldots \Rightarrow P(n)\Rightarrow P(n+1)\Rightarrow \ldots $ есть единственное слабое звено - это $P(1)\Rightarrow P(2)$.
Если мы согласимся с этой импликацие, то должны будем согласиться с утверждением

Лемма 1. В любом множестве, состоящем из $n$ лошадей, все лошади одного цвета.

Теперь, чтобы доказать, что все лошади белого цвета, нужна

Лемма 2. Существует белая лошадь.
Доказательство. Здесь индукция уже не нужна, набираем в гугле белая лошадь

 Профиль  
                  
 
 Re: лошадиное доказательство
Сообщение24.09.2013, 14:35 


05/09/12
2587
bot напишите пожалуйста формальное определение $P(n)$ в вашей нотации, по возможности без ссылок на т.н. "здравый смысл".

 Профиль  
                  
 
 Re: лошадиное доказательство
Сообщение24.09.2013, 14:40 
Заслуженный участник


12/08/10
1680
$P(n)$ - "любые n лошадей имеют одинаковый цвет".

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

Модератор: Модераторы



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

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


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

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