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