|
То есть вам для формулировки строгой и однозначной математики нужен хоть какой-то, но язык, а он не может быть точным и строгим по своей природе. Отсюда считаю, что доказал утверждение Жубера об исчезновении аксиом. Либо аксиомы неоднозначны и нестроги, либо они лишены содержания. А вещь без содержания ничто. Очень похоже на теорему К. Гёделя: «Либо математика не полна, либо противоречива». Для доказательства очевидной вещи Курт Гёдель написал том страниц на триста, а в конце концов всё равно использовал парадоксальное утверждение: «я (теорема) недоказуема». А. Трушечкин. Метод математики: отгородиться от нестрогого естественного языка, создав (на этом языке) специфический узкий язык со строгими правилами и запретив дальнейшее примешивание нашего языка к математическим рассуждениям. Жубер, с которого начался диспут, в сущности, сказал не то, что наш язык неоднозначен (это очевидно), а то, что если бы он был однозначным, мы бы лишились не только поэзии и эстетики, но даже и аксиом. Вопрос, как я понимаю, в том, смогли ли бы мы сформулировать аксиомы, если бы наш язык был однозначным? Например, писать стихи точно не смогли бы. Моё предположение: если б наш язык был однозначным, в аксиомах бы, возможно, не было нужды. Поэтому бы их и не было. Гёделю как раз и потребовалось триста страниц, чтобы математически сформулировать теорему, утверждающую о собственной недоказуемости, доказать, что такая теорема в самом деле существует. Пока мы пришли к выводу, что для формулировки аксиом, мы уже должны обладать нашим языком, который по своей природе неточный (иначе не было бы нужды в математическом подходе). И есть разница в утверждениях: «аксиомы неоднозначны и нестроги» и «аксиомы сформулированы на языке, который в принципе (!) допускает неоднозначность и нестрогость». Если русский язык допускает нестрогость в принципе, это не значит, что она присутствует в любой фразе. Когда я говорю: «Я иду обедать», то здесь всё однозначно (по крайней мере, если есть соглашение о контексте). Также и с аксиомами: они вводят понятия, с которыми мы будем работать, и правила работы с ними. Сформулированы они однозначно, несмотря на то, что в других ситуациях язык может быть неоднозначным. Скажем так, русский (и любой другой естественный) язык — очень богатый, он обычно работает в «неоднозначном режиме», но допускает и специальный «однозначный режим». Математика — это и есть этот «однозначный режим». С. Ёлкин. Что такое «специальный режим для русского языка»? Ни в одной книжке по лингвистике я не обнаружил какого-то особенного специального режима для русского или иного языков. — 172 —
|