fuzzy logic

Цитата WinterMute, 28.10.03, 16:50:49

2 esperanto:
Получается, если я скажу тебе: "Я не еду на троллейбусе, на котором сейчас еду" (противоречие), ты сможешь доказать что за террактами 11 сентября стоял именно я, и в Ираке оружие массового поражения зарыто в каждой песочнице?

Мы живём в страшном мире -- когда нибудь менты тоже пронюхают про логику.

Известному математику Расселу на его докладе про логику, тоже один слушатель сказал что это ерунда, докажите из того что 1+1=3 что вы папа римский.

рассел немного задумался и написал

дано
1+1=3  
но 1+1=2 следовательно 2=3 следовательно  1=2
но я и папа это два человеке, но два равно один следовательно Я папа римский


вот его ответ
причем в том же стиле что и вопрос

есть 7 коробок, в одной из них монета. ЕСЛИ вы открыли коробку с монетой, то сможете сказать в какой коробке монета, ИНАЧЕ вы не сможете сказать в какой коробке монета.

if( условие == true )знает
else незнает

где тут противоречие ?

я могу открыть 6 коробок без монеты и сделать вывод что она в седьмой вот оно

нет
вы можете _предположить_ что откроете 6 пустых коробок, и сделать вывод что в 7 коробку я не положил монету, так как я не должен противоречить себе

Цитата Sazabis, 28.10.03, 17:24:26

есть 7 коробок, в одной из них монета. ЕСЛИ вы открыли коробку с монетой, то сможете сказать в какой коробке монета, ИНАЧЕ вы не сможете сказать в какой коробке монета.

if( условие == true )знает
else незнает

где тут противоречие ?

А открыли коробку
Б узнать где монета

вы утверждаете     А<=>Б   (тогда и только тогда)

но это неверно ибо существуют случаи (минимум один) когда !A&B

случай есть он в условии, но ВЫ его не знаете

Цитата Sazabis, 28.10.03, 17:24:26

есть 7 коробок, в одной из них монета. ЕСЛИ вы открыли коробку с монетой, то сможете сказать в какой коробке монета, ИНАЧЕ вы не сможете сказать в какой коробке монета.

if( условие == true )знает
else незнает

где тут противоречие ?

А открыли коробку
Б узнать где монета

вы утверждаете     А<=>Б   (тогда и только тогда)

но это неверно ибо существуют случаи (минимум один) когда !A&B

Предположим, в задаче опущено неявное ограничение: палач может придти только в течение своего рабочего дня, скажем, с 9⁰⁰ до 18⁰⁰, с перерывом на обед. ( Пусть ен работает 7 дней в неделю )

Тогда, к примеру, рассуждение заключенного:

1. Палач не может придти в воскресенье, т.к., в сб в 18⁰¹, я уже буду знать, что ен придет завтра.
2. Палач не может придти в субботу, т.к., зная (1), в пт, в 18⁰¹,...
...
7. Опа... Остается всего 1 день -- понедельник. И я его знаю. Значит, слова судьи -- ложь.

--

Теперь, вопрос на засыпку (задача №2) -- В каком месте солгал судья? Солгал в том, что [Ctrl-Y слишком наводящие вопросы]?

Сообщение отредактировано: Visitor - 28.10.03, 21:32

P.S. Наводящий вопрос.
Что такое антиномия?

2 esperanto: Да, Рассел был опытный лохотронщик.

Цитата

дано
1+1=3  
но 1+1=2 следовательно 2=3 следовательно  1=2
но я и папа это два человеке, но два равно один следовательно Я папа римский

Как, интерестно, он от цифр перешёл к людям? Понятно что 1 == 1 -- это цифры, они все одинаковые, но 1 человек != 1-му человеку, люди то разные. Странно что из утверждения "Мы оба -- один человек", он сразу заключил что они оба -- папы римские.

А ведь я ему верил.

Сообщение отредактировано: WinterMute - 28.10.03, 21:06

Ну там опущен переход "на пальцах", но все абсолютно верно:

1. если множество содержит 1 елемент, то первый елемент множества равен любому из елементов етого множества. тождество для _любого_ множества, неважно чего, людей или полтавских котлет.
2. множество А = {Папа Карло, Майя Плисецкая} содержит 2 елемента -- очевидно.
3. только что доказали 2=1
4. тогда множество А содержит 1 елемент
5. см (1)
6. a=b -> b=a

Сообщение отредактировано: Visitor - 28.10.03, 21:29

отступление для WinterMute
логике люди по барабану

если false = false значить true

2Visitor

Вся загвоздка в вашем рассуждении в том, что вы получили противоречии не для слов Судьи, а для предположения, что протяните 6 дней. Сам вчера мусолил эту тему.

Я вроде уже разобрался, попробую объяснить, беру время на формулировку, а то опять к словам придеретесь.

Цитата esperanto, 28.10.03, 17:56:10

вы утверждаете љ љ А<=>Б љ (тогда и только тогда)

но это неверно ибо существуют случаи (минимум один) когда !A&B

А Вы уверены, что такие случаи существуют?
Представьте, что коробки пронумерованы и их положено открывать по порядку.

зы. Согласно преданию, доказывалось, что Мак-Таггарт папа римский.

Цитата Visitor, 28.10.03, 19:02:23

P.S. Наводящий вопрос.
Что такое антиномия?

Антиномия (греч.)-так называется, собственно, противоречие двухзаконов. Слово это, как философский термин, впервые введено Кантом. Онобъясняет А. как противоречие, в которое теоретический разум (Vernunft)впадает сам с собою, или собственно с рассудком (Verstand), когда онидею абсолютного относит к миру, как совокупности всех явлений. Отсюда,именно, являются противоречивые законы и мнимо основательные теории,ведущие к принятию положений или не удовлетворяющих беспредельнымтребованиям нашего разума, или непостижимых для нашего рассудка. А.обнимают следующие вопросы, конечны ли или бесконечны- вселенная,пространство, время? имеются ли неделимые атомы, или материя можетделиться до бесконечности ? Существует ли только необходимость вприроде, или возможна также свободная случайность? Находится ли вовселенной или вне ее необходимая сущность или нет? Так как А. в данномслучае состоит в том, что можно привести одинаковое число доказательств,как в пользу утвердительного так и отрицательного ответа на эти вопросы,то разрушение А. необходимо приводить к выводу, что человеческоепознание в последних встречает преграду, которой ни перешагнуть, нипобедить не может. По Канту мы знаем о пространстве, времени, материи,причине и т. д. только как о явлениях (феноменах), но ничего не знаем:каковы они сами в себе (нумены). Поэтому мы должны отказаться отдогматического изучения этих вопросов; идея абсолютного и бесконечногоимеет только значение регулирующего принципа, т. е. она сама не служитисточником расширения знания, а только руководящею нитью для все более иболее прогрессирующего расширения знания.

..::Энциклопедия Брокгауза и Эфрона

Не... _Если_ предположить, что судья сказал правду, то шесть дней мы НЕ протянем, что и показывает первый же пункт в рассуждении преступника. И пять тоже -- пункт 2, и четыре тоже -- пункт 3, и т.д.

Судья сконструировал объект, из существования которого следует, что он не существует. A -> !A, ето антиномия. Антиномия, в которой фигурируют несколько фактов, может быть разрешена, например, выведением из нее одного факта. (Или введением дополнительного, ето с какой стороны смотреть -- "парадокс с цирюльником"

A = палач придет
B = ето случится на следующей неделе
C = заключенный не узнает, в какой день придет палач, пока ен таки не придет

ABC -> !(ABC) -> (!A | !B | !C) в данном случае может быть разрешена выкидыванием любой буквы. И из, например, AС !>(не след) !(AС).