Теорема Колмогорова о нумерациях:
http://uploads.ru/?v=4WgNM.jpg ((сорри, но как картинка почему-то не вставляется, щёлкните))
имхо одна из ярчайших демонстраций величия человеческой мысли.
Казалось бы, она говорит об абстракциях - а на самом деле ярким светом освещает как функционирует язык. Когда связь между ней и языком осознана и сказана - как тут сделал Манин - её смысл, значение, и причины такого положения вещей совершено ясны,
Язык не может не быть крайне сложным - тк его назначение - описывать мир - который довольно сложен :-) Но "Господь изощрён, нo не злонамерен". Сложность возникает естественно - для описания одного явления мы используем имена других, ранее описанных,и, понятно, можем использовать совершенно разные пути. Так же понятно, что в разных случаях удобно использовать разные описания одного и того же. Также понятно, что двигаясь разными путями, мы можем не понять, что пришли в одно и то же место.
Т е крайняя нелогичность, запутанность языка - необходимая плата за возможность адекватного описания мира. Когда сказано - всё это просто и естественно. Но додуматься, тем более формализовать и доказать ...
У меня нет слов для передачи благоговения и восхищения.
имхо одна из ярчайших демонстраций величия человеческой мысли.
Казалось бы, она говорит об абстракциях - а на самом деле ярким светом освещает как функционирует язык. Когда связь между ней и языком осознана и сказана - как тут сделал Манин - её смысл, значение, и причины такого положения вещей совершено ясны,
Язык не может не быть крайне сложным - тк его назначение - описывать мир - который довольно сложен :-) Но "Господь изощрён, нo не злонамерен". Сложность возникает естественно - для описания одного явления мы используем имена других, ранее описанных,и, понятно, можем использовать совершенно разные пути. Так же понятно, что в разных случаях удобно использовать разные описания одного и того же. Также понятно, что двигаясь разными путями, мы можем не понять, что пришли в одно и то же место.
Т е крайняя нелогичность, запутанность языка - необходимая плата за возможность адекватного описания мира. Когда сказано - всё это просто и естественно. Но додуматься, тем более формализовать и доказать ...
У меня нет слов для передачи благоговения и восхищения.