deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Categories:

философский туман-2

рассеем философский туман-2

философский туман - 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
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 24 comments