философский туман - 1
https://deep-econom.livejournal.com/331237.html
----
evgeniirudnyi: Правильно я вас понял, что вы поддерживаете утверждение, что математики изобретают математические теоремы и математические объекты?
"Kaa Kaa":
https://evgeniirudnyi.livejournal.com/200241.html?thread=2725937#t2725937
Оснований для утверждения обратного нет никаких. Это не мнение, это факт. Более того, если принять это обратное утверждение и также утверждение о единстве математики, то получаешь множество парадоксальных следствий, что уже говорит о том, что позиция, занимаемая этой связкой утверждений, является как минимум очень сомнительной.
Объяснение лежит как раз в том, что математики всегда используют разные языки (это легко демонстрируется), которые они сами же и утверждают (сейчас часто в такой форме: задают модель, потом по модели аксиоматику - но не обязательно), а также в том, что эти языки являются формальными, и референциальных свойств таких, как у естественных языков, они не имеют, т.е. они принципиально не говорят ни о каких внеязыковых объектах, и, собственно, именно для этого и изобретались формальные языки.
---
есть основания и они просты, теоремы Геделя о неполноте
на пальцах, не все истинные формулы в арифметике выводимы формальным путем
а это значит, что ученые такие формулы фактически открывают в рамках изобретенной формальной системы, а не изобретают
(достаточно спорное мое утверждение, ниже смотрите к вопросу о терминах)
игра Жизнь Конвея, понятно, что изобретена человеком
по сути это формальное исчисление
а вот например конфигурацию игры Жизнь называемую "Сад Эдема" уже можно считать открытием, поскольку уже игра существует и эта конфигурация в игре появиться не может
тут можно конечно возразить, а чем отличается случай обнаружения/создания конфигурации Сад Эдема от обнаружения/создания самой игры Жизнь
в принципе особо не отличается
хотя мне проблема изобретение/открытие напоминает проблему кучи или проблему, указанную ниже
т.е. это проблема чисто терминологическая, проблема корректных высказываний и корректного рассмотрения, не более того
— Дерево, падающее в пустынном лесу, создаёт звук — заявляет Альберт.
— Дерево, падающее в пустынном лесу, не создаёт звука — заявляет Барри.
https://lesswrong.ru/w/Табуируй_свои_слова
https://lesswrong.ru/w/Споры_об_определениях
https://lesswrong.ru/w/Распутывание_вопроса
---------
evgeniirudnyi:
https://deep-econom.livejournal.com/331237.html?thread=2389221#t2389221
Ваше рассмотрение написано с точки зрения дуализма: есть человек и есть объективная реальность, которую человек моделирует. Вопрос однако в том, принадлежит ли сам человек и его мысли объективной реальности.
---
предположим есть некий мир идей типа Платония, люди оттуда берут математику и все остальные идеи по типу как телефон получает смс-ки ))
ну тогда там и содержится весь бред человечества вплоть до всех текстов и мыслей, нет смысла ограничиваться математическими идеями, математическими теоремами
ну а так, принимаем мир идей, ну и теперь далее мы можем начать обширную философскую деятельность по созданию законов мира идей )
а также по обоснованию опровержений с историческим обзором всяческих философских извращений, вот вам небольшой обзор
Аналитическая философия - под общей научной редакцией М. В. Лебедева
http://philosophica.ru/af/menu.htm