Примерно так для себя всегда математику и определял - как метаязык, предназначенный исключительно для перевода. Необходимое дополнительное уточнение, видимо, касается того, что сами правила предполагают максимально взможное, в пределе - безграничное количество осмысленных сочетаний или комбинаций.
Дык ведь - если продолжить аналогию, то вот это платоновское определение - оно хорошее, и логически, если принять во внимание уточнение ( а можно и не принимать, ведь с петухом была проделана искусственная операция, этак можно и у козла передние ноги ампутировать и получившееся предъявить), логически, повторяю, безупречное - единственно у него тот недостаток, что не слишком содержательное, мы все же человека любим не за двуногость. Ну и тд. Хорошо бы, кабы пришел Большой Ученый и объяснил, что все свойства и признаки человека, которые мы считаем более существенными, однозначно вытекают из двуногости. С другой стороны, если не ограничиваться нашей планетой, мы прекрасно может мыслить двуногое существо без перьев, ничего общего, кроме этого, с нами не имеющее. И точно так же, ничто не мешает нам помыслить о "цепочках символов и правилах их преобразования" нимало не похожих на реальную математику, какой мы ее знаем.
Совершенно верно, в этом вся суть. Скажем, великий Гильберт - явный, по выражению Арнольда, аксиомофил, но в его работах знатоки находили немало пробелов в доказательствах - а когда одна его аспирантка ему на некоторые указала, он пожал плечами и сказал: ну и что?
Comments 17
Необходимое дополнительное уточнение, видимо, касается того, что сами правила предполагают максимально взможное, в пределе - безграничное количество осмысленных сочетаний или комбинаций.
Reply
С другой стороны, если не ограничиваться нашей планетой, мы прекрасно может мыслить двуногое существо без перьев, ничего общего, кроме этого, с нами не имеющее. И точно так же, ничто не мешает нам помыслить о "цепочках символов и правилах их преобразования" нимало не похожих на реальную математику, какой мы ее знаем.
Reply
Reply
Скажем, великий Гильберт - явный, по выражению Арнольда, аксиомофил, но в его работах знатоки находили немало пробелов в доказательствах - а когда одна его аспирантка ему на некоторые указала, он пожал плечами и сказал: ну и что?
Reply
"...Метафизическая связь
Трансцендентальных предпосылок".
Reply
Reply
Reply
Reply
Reply
Reply
Leave a comment