psilogic: (Default)
psilogic ([personal profile] psilogic) wrote2006-03-19 04:29 pm

История логики в сильно вольном изложении

http://psilogic.livejournal.com/75050.html
- положено отдельной записью, чтобы не надо было качать весь текст, оставляя каменты. Специально сделано, чтобы вам удобнее было меня ругать ;)

[identity profile] sophiolog.livejournal.com 2006-03-19 08:10 pm (UTC)(link)
А чего там сделал Рассел с теорией множеств?

[identity profile] psilogic.livejournal.com 2006-03-20 01:35 pm (UTC)(link)
А парадокс Рассела придумал: берем:

множество M всех множеств, которые не являются элементами самих себя.(1)

Потом задаем вопрос: M принадлежит M? Если допускаем, что да, принадлежит, то не принадлежит из-за (1). Если допускаем, что не принадлежит, то все-таки принадлежит из-за (1).

[identity profile] leo-sosnine.livejournal.com 2006-03-30 07:28 am (UTC)(link)
Вроде бы, имеет к этому отношение парадокс, известный как парадокс цирюльника:

Бреет ли себя цирюльник, если он бреет всех, кто не бреет себя?

В своё время элитная команда знатоков из "Что? Где? Когда?" (Друзь, Двинятин, Поташов) слилась на этом вопросе.

[identity profile] psilogic.livejournal.com 2006-03-30 07:57 am (UTC)(link)
Да, парадокс про цирюльника имеет самое прямое отношение, т.к. представляет собой популярный и немного упрощенный вариант парадокса Рассела. Правильным ответом на него считается "такого цирюльника не может быть"