Как выделить лемму в обычном тексте?
Nov. 26th, 2010 05:01 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
psilogicСуществуют ситуации, которые раз за разом ведут к непониманию логических рассуждений. Несколько раз (за последнее время трижды) сталкивался с однотипными ситуациями, которые хочу сейчас описать.
Ситуация связана с введением леммы. Лемма - это некое временное отступление от основного доказательства, призванное доказать некое утверждение, которое потом используется. Аналог в программировании - класс, продекларированный внутри другого класса.
Схема применения леммы:
Здесь есть основное доказательство A1->Q4, и по ходу понадобилось применить правило Ai->Qi. Но это правило не было доказано раньше, поэтому мы как бы временно отложили теорему в сторону, доказали лемму, а потом ей воспользовались, чтобы продолжить доказательство теоремы.
Так вот, я столкнулся с тем, что когда я пытаюсь рассуждать на обычном языке (а не такими формулами в столбик с отступом), некоторые (даже совсем не тупые) люди оказываются сбиты с толку и полагают, что я пытаюсь доказать леммой не один коротенький переход, а всю теорему.
Пример: я рассуждал о поведении людей в обществе, и как это может быть связано с эволюцией животных. По ходу я упомянул пчел, и мне заметили, что пчелы - это не люди. Справедливо, конечно. Но я пчел упомянул только для того, чтобы обосновать один-единственный маленький пункт: что самопожертвование бывает не только у людей.
Так вот у меня вопрос к уважаемому собранию: сталкивались ли вы с подобными казусами, и какие меры вы принимаете.
Ситуация связана с введением леммы. Лемма - это некое временное отступление от основного доказательства, призванное доказать некое утверждение, которое потом используется. Аналог в программировании - класс, продекларированный внутри другого класса.
Схема применения леммы:
Теорема: в ней доказывается, что A1->Q4 A1->A2, A2->A3, Лемма: в ней доказывается, что Ai->Qi для любого i Ai->Bi Bi->Zi Zi->Qi A3->Q3 Q3->Q4
Здесь есть основное доказательство A1->Q4, и по ходу понадобилось применить правило Ai->Qi. Но это правило не было доказано раньше, поэтому мы как бы временно отложили теорему в сторону, доказали лемму, а потом ей воспользовались, чтобы продолжить доказательство теоремы.
Так вот, я столкнулся с тем, что когда я пытаюсь рассуждать на обычном языке (а не такими формулами в столбик с отступом), некоторые (даже совсем не тупые) люди оказываются сбиты с толку и полагают, что я пытаюсь доказать леммой не один коротенький переход, а всю теорему.
Пример: я рассуждал о поведении людей в обществе, и как это может быть связано с эволюцией животных. По ходу я упомянул пчел, и мне заметили, что пчелы - это не люди. Справедливо, конечно. Но я пчел упомянул только для того, чтобы обосновать один-единственный маленький пункт: что самопожертвование бывает не только у людей.
Так вот у меня вопрос к уважаемому собранию: сталкивались ли вы с подобными казусами, и какие меры вы принимаете.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
Re: Тот, кто возраЖЖал про пчёл,
Date: 2010-11-26 02:54 pm (UTC)У Докинза при разборе альтруизма в "Эгоистичный ген"/"Расширенный фенотип" выше крыши примеров самопожертвований. Когда гены для своего выживания провоцируют особь на жертву себя.
Re: Тот, кто возраЖЖал про пчёл,
Date: 2010-11-26 05:07 pm (UTC)Re: Тот, кто возраЖЖал про пчёл,
Date: 2010-11-26 05:08 pm (UTC)Уж извиняйте, но
Date: 2010-11-27 12:57 pm (UTC)А уж оспаривать ...;)... "альтруизм" ген, подозревая их в ...;)... материалистических взглядах на собственность выживания - жесть!
Re: Уж извиняйте, но
Date: 2010-11-28 03:15 pm (UTC)...;)... почему же?
Date: 2010-11-28 04:35 pm (UTC)Re: ...;)... почему же?
Date: 2010-11-28 04:42 pm (UTC)А я и не настаиваю
Date: 2010-11-28 06:14 pm (UTC)Харе, приятно, когда придруживают стоя ...;)...
Re: ...;)... почему же?
Date: 2010-11-28 07:01 pm (UTC)до тех пор, пока поциент не попадется под ногу.. (;
Re: ...;)... почему же?
Date: 2010-11-28 05:50 pm (UTC)Но это мое субъективное мнение.
про что спорить?
Date: 2010-11-28 06:11 pm (UTC)Re: про что спорить?
Date: 2010-11-28 07:00 pm (UTC)Угу,
Date: 2010-11-28 07:33 pm (UTC)Тогда все ясно.
Date: 2010-11-28 08:06 pm (UTC)Обучайтесь.
Оценка факта?
Date: 2010-11-28 09:32 pm (UTC)Сочувствую, но ...;)... Вы не правы. Надо у ИПа спросить, как называется у насекомых то, что Вы прозвали "самопожертвованием".
no subject
Date: 2010-11-28 10:07 pm (UTC)Если вы считаете, что самопожертвование - это чувство, то флаг в руки.