x, y, z

Поиск > Сообщения

Запрос:
Автор:
Номер темы:
Номер форума:
Сортировать:
Сообщения: 2
Проблема останова лжеца Гёделя и брадобрея КантораМатематика
11 Окт 2021 23:10:08
Кавалер
У вас нет четкого определения, что такое "абсурдно". Сначала вы называете "абсурдными" те утверждения, которые синтаксически неверны (2=+), но затем в разделе "доведение до абсурда" называете "абсурдными" те утверждения, которые приводят к противоречию (Если предположить, что "4=4" ложно, то это предположение абсурдно). Введите сначала четкое определение, что такое "абсурдно".

Методология доказательств у вас не соответствует вашей собственной четырехзначной логике. На каждой блок-схеме вы рисуете по два ответвления: "истинно" и "ложно", а надо четыре: "истинно", "ложно", "абсурдно" и "некорректно".

Но в целом не рекомендую заниматься подобными изысканиями. Это вредно для души. У вас отличное образное мышление. Ваша сильная сторона - не логические изыскания, а потрясающее оформление идей. Не надо стремиться прославиться как логик или математик, лучше применить свою сильную сторону в тех вопросах, в которых остальные слабы. Подавляющее большинство логиков, математиков и других ученых не умеют красиво представлять свои идеи. А вы умеете. Вы можете, например, создавать и продавать красивые учебные пособия, которые другие ученые сделать не смогут при всём желании. Или можете стать выдающимся педагогом. Только не надо пытаться придумать свой контент, лучше создавать визуализационные шедевры на основе чужого контента - в сотрудничестве с теми, кто владеет материалом. Например, если вы сделаете иллюстрационное оформление книг по логике Рэймонда Смаллиана ("Как же называется эта книга?", "Принцесса или тигр" и т.д.), то, уверен, эти книги будут пользоваться большим коммерческим успехом. Если всё же вам так хочется заниматься наукой, то ваша сфера - не логика, а геометрия, где как раз очень важно образное мышление.
Проблема останова лжеца Гёделя и брадобрея КантораМатематика
25 Авг 2020 21:06:51
nin-jin

Проблема останова лжеца Гёделя и брадобрея Кантора

Наваял тут трактат о логике и основаниях математики. Расскажите, пожалуйста, в чём я не прав.