Во-1, математика - не наука, а язык науки. Во-2, доказательства от противного - это не "где можно быть уверенным в полноте охвата предмета изучения", а лишь про ограниченное множество тезисов ,а вовсе не про всю математику, которую можно дополнять до бесконечности, в т.ч. и новыми аксиоматиками.
Тут дело такое: язык - это про то, как разговаривать. Но не о чем разговаривать. По-хорошему, нормальный такой здоровый язык не растет сам из себя. Он только приспосабливается к возлагаемым на него задачам. То есть растет из внешних потребностей. Как правило, практических.
А так, чтобы люди сидели и развивали язык ради него самого, чтобы конструкции языка были подчинены его собственной внутренней логике... Ну, не знаю. Не могу себе такое представить.
Ну шоподелать. Изначально та же геометрия произошла от практической нужды разметки земли и проч. А потом люди развились, математика стала абстрактной, поэтому и стало возможным "сама из себя" - типа игры с аксиоматиками. Но тут дело в чём: математика в целом, как дисциплина, "обслуживает" науку именно как язык. Наука выражает себя через математику - иначе никак. Но при этом могут быть всякие математические игры, которые с наукой не соотносятся, как частное. Возможно, пока - что-то там есть многомерное в теории струн, например (впрочем, эта теория пока ещё не научная).
Ах да, забыл. Язык - это НЕ только "про то, как разговаривать". На языках программирования многие ли разговаривают? Язык - это средство передачи информации, если в общем виде.
Comments 46
Потому что это не наука :)
Reply
Reply
И что значит "есть" в этом контексте? Надо вернуться у себя к вопросу существования, да...
Reply
Во-2, доказательства от противного - это не "где можно быть уверенным в полноте охвата предмета изучения", а лишь про ограниченное множество тезисов ,а вовсе не про всю математику, которую можно дополнять до бесконечности, в т.ч. и новыми аксиоматиками.
Reply
По-хорошему, нормальный такой здоровый язык не растет сам из себя. Он только приспосабливается к возлагаемым на него задачам. То есть растет из внешних потребностей. Как правило, практических.
А так, чтобы люди сидели и развивали язык ради него самого, чтобы конструкции языка были подчинены его собственной внутренней логике... Ну, не знаю. Не могу себе такое представить.
Reply
А потом люди развились, математика стала абстрактной, поэтому и стало возможным "сама из себя" - типа игры с аксиоматиками.
Но тут дело в чём: математика в целом, как дисциплина, "обслуживает" науку именно как язык. Наука выражает себя через математику - иначе никак.
Но при этом могут быть всякие математические игры, которые с наукой не соотносятся, как частное. Возможно, пока - что-то там есть многомерное в теории струн, например (впрочем, эта теория пока ещё не научная).
Ах да, забыл. Язык - это НЕ только "про то, как разговаривать". На языках программирования многие ли разговаривают? Язык - это средство передачи информации, если в общем виде.
Reply
Reply
Reply
( ... )
Reply
(The comment has been removed)
(The comment has been removed)
(The comment has been removed)
Также см. п. 9 Правил этого журнала в профиле.
Reply
Leave a comment