задал первый вопрос на кворе (два)

[juan_gandhi]

What is Hurkens' paradox? 

Comments

Re: Геометрия трёхмерна

[andy_ivanov]

Ну это из серии "в огороде бузина". Понятия всё равно все в пространстве. (И во времени). И что это доказывает?
Когда доказывается теорема Пифагора, там нет никаких логических парадоксов. Более того, когда есть парадоксы, это значит неверная геометрическая модель: "Множество которое содержит само себя своим членом" Ну, нарисуйте, расскажите что вы нарисовали. И сразу понятно, что просто модель неверна. Это просто сухая вода и масло-масляное.
Отрицание высказывания "множество, которое не содержит себя своим членом" может быть разным в зависимости от контекста. Напишите отрицание высказывания "не Земля".Отрицание - одно из самых сложных понятий. Сводить это к какой-то "простоте" это значит противоречить фактам.

Re: Геометрия трёхмерна

[xacid]

что вы имеете против отрицания?

Re: Геометрия трёхмерна

[andy_ivanov]

Отрицание - самая сложная логическая операция. Она всегда имеет контекст. Без контекста она не имеет смысла. Когда я учился, нам сказали - вот закорючка, она называется "отрицание". А в чём смысл операции никто толком не объяснял. Это сложнейшее понятие, которые многие совершенно неправильно понимают. Во всяких википедиях дурачки пишут, что это обратное значение. Когда спрашиваешь, что такое обратное значение, уточняют что это обратное значение всего к чему стоит отрицание. Слово "контекст" им не знакомо. Примеров нет. Типа шо тут говорить, это "тупым токо не понятно". Начну с того, что отрицание может просто не существовать.

Re: Геометрия трёхмерна

[juan_gandhi]

Отрицание X - это X => false, так годится? Я не вижу, как это можно более общо выразить.