о невычислимых функциях
Данный пост является "общепросветительским", поэтому он открыт для всех. На эту тему я уже писал https://falcao.livejournal.com/26513.html когда-то давно. Открывать эту ссылку вовсе не обязательно. Я постараюсь изложить всё как бы почти "с нуля
( Read more... )
Поэтому интересно понятие - математический смысл.
Вот читал, что Рассел выдал фразу, типа - математика это такая наука, где мы не знаем, о чём говорим.
:)
Нечто вроде коана в дзене.
Над этим хорошо медитировать в буддийском стиле.
На предмет - из чего сделана математика.
Световой год это расстояние, а не временной период, но как аллегория вполне применима.
<<<С одной стороны, фраз из менее чем 20 слов конечное число, поэтому ими можно задать лишь конечную совокупность чисел>>>
Наверное - при фиксированном словаре.
Но при наличии возможности , так сказать, порождать слова - процесс становится счётным.
Можно сделать предположение, что математика это система, представляющая собой счётную совокупность символов, слов, знаков.
Разумеется, есть ограничения - удовлетворяющих доказательствам. В том числе - непротеворечивости аксиом.
В некотором смысле, теорема, лемма - это способ введения новых слов в систему, после их определения. То есть , в некотором смысле - придание им этого самого смысла.
Не исключено, что при всём формализме математики, формулирование теорем и лемм это процесс во многом неформальный. По причине - придумывание новых слов.
Этот проыесс может занять неконтролируемое число лет. В том числе - световых.
Так как - требуется некоторое неформальное - чувство смысла.
Альтернатива этому - случайный перебор уже имеющихся понятий и слов и их компановка.
Но наверное этот процесс - стремится к бесконечности в ростом количества слов.
Впрочем - есть такое понятие - Вечность.
В сравнении с которым все конечные затраты времени ничто.
Это понимала - Снежная Королева. У Андерсена.
:)
Reply
Reply
Leave a comment