"результат живет во вселенной ниже вселенной аргумента," Вот отсюда все ваши парадоксы логики и другая хрень с множествами. Типа давайте пусть не будет геометрии, тогда будут парадоксы. Геометрию убрать невозможно. Это моя аксиома. Шо там думают предшественники? Думаю, согласны в основном.
Кто и куда убрал геометрию? Евклидова геометрия - почетная разрешимая теория первого порядка с равенством, это Тарский еще в 50-ые годы прошлого столетия показал.
Мы с Тарским незнакомы, но то, что геометрия и парадоксы несовместимы, у меня лично нет ни каких сомнений. Речь о чём, когда вы вводите любые понятия и рассуждаете о них, это всегда происходит в трёхмерном пространстве. Невозможно создать понятие без этого.
Ну это из серии "в огороде бузина". Понятия всё равно все в пространстве. (И во времени). И что это доказывает? Когда доказывается теорема Пифагора, там нет никаких логических парадоксов. Более того, когда есть парадоксы, это значит неверная геометрическая модель: "Множество которое содержит само себя своим членом" Ну, нарисуйте, расскажите что вы нарисовали. И сразу понятно, что просто модель неверна. Это просто сухая вода и масло-масляное. Отрицание высказывания "множество, которое не содержит себя своим членом" может быть разным в зависимости от контекста. Напишите отрицание высказывания "не Земля".Отрицание - одно из самых сложных понятий. Сводить это к какой-то "простоте" это значит противоречить фактам.
Отрицание - самая сложная логическая операция. Она всегда имеет контекст. Без контекста она не имеет смысла. Когда я учился, нам сказали - вот закорючка, она называется "отрицание". А в чём смысл операции никто толком не объяснял. Это сложнейшее понятие, которые многие совершенно неправильно понимают. Во всяких википедиях дурачки пишут, что это обратное значение. Когда спрашиваешь, что такое обратное значение, уточняют что это обратное значение всего к чему стоит отрицание. Слово "контекст" им не знакомо. Примеров нет. Типа шо тут говорить, это "тупым токо не понятно". Начну с того, что отрицание может просто не существовать.
Я так понимаю, что вы с топологией и геометрией не очень так, правда? И зависимость топологии от аксиоматики, скажем, теории множеств тоже не вполне идет, так?
Ну так всё гипотеза. но это не аргумент. А вот что скажет суд, куда делся труп? Если есть чудеса, то труп может воскреснуть, и на небо улететь, но суд в эти сказки не верит. И я тоже. Это я вам Эвклид Эвклиду говорю.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
juan_gandhi) wrote2018-12-12 06:51 pm
Геометрия трёхмерна
Re: Геометрия трёхмерна
Re: Геометрия трёхмерна
Re: Геометрия трёхмерна
Re: Геометрия трёхмерна
Когда доказывается теорема Пифагора, там нет никаких логических парадоксов. Более того, когда есть парадоксы, это значит неверная геометрическая модель: "Множество которое содержит само себя своим членом" Ну, нарисуйте, расскажите что вы нарисовали. И сразу понятно, что просто модель неверна. Это просто сухая вода и масло-масляное.
Отрицание высказывания "множество, которое не содержит себя своим членом" может быть разным в зависимости от контекста. Напишите отрицание высказывания "не Земля".Отрицание - одно из самых сложных понятий. Сводить это к какой-то "простоте" это значит противоречить фактам.
Re: Геометрия трёхмерна
Re: Геометрия трёхмерна
Re: Геометрия трёхмерна
Re: Геометрия трёхмерна
Re: Геометрия трёхмерна
Re: Геометрия трёхмерна
Нет.
Аксиома - это гипотеза.
Re: Геометрия трёхмерна