March 5th, 2019

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

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

философский туман - 1
https://deep-econom.livejournal.com/331237.html

----
evgeniirudnyi: Правильно я вас понял, что вы поддерживаете утверждение, что математики изобретают математические теоремы и математические объекты?

"Kaa Kaa":
https://evgeniirudnyi.livejournal.com/200241.html?thread=2725937#t2725937
Оснований для утверждения обратного нет никаких. Это не мнение, это факт. Более того, если принять это обратное утверждение и также утверждение о единстве математики, то получаешь множество парадоксальных следствий, что уже говорит о том, что позиция, занимаемая этой связкой утверждений, является как минимум очень сомнительной.

Объяснение лежит как раз в том, что математики всегда используют разные языки (это легко демонстрируется), которые они сами же и утверждают (сейчас часто в такой форме: задают модель, потом по модели аксиоматику - но не обязательно), а также в том, что эти языки являются формальными, и референциальных свойств таких, как у естественных языков, они не имеют, т.е. они принципиально не говорят ни о каких внеязыковых объектах, и, собственно, именно для этого и изобретались формальные языки.
---

Collapse )

Михеев жжот

слушал тут фоном, пока ехал, Михеев жжот, ужос прям )
относиться можно по разному

Железная логика 4 марта 2019
https://youtu.be/4noTLpEQLWc

А что подумал по этому поводу Кролик, никто так и не узнал, потому что Кролик был очень воспитанный. ))