последовательности можно строить весьма по разному (и это я упоминал уже в теме неоднократно!), это нормально, это ничему не противоречит
более конкретно, это зависит от правил построения (в том числе привет Хомский и Бэкус-Наур, и его правилам генеративных грамматик)
а вот для всяких таких процессов придумано специальное название рекурсивные функции, частично-рекурсивные функции, примитивно рекурсивные функции, нормальные алгоритмы Маркова по сути мы переходим к универсальным вычислителям типа машины Тьюринга
он опирается по сути на остенсивное определение т.е. всякие определения натурального ряда и далее вся математика в итоге опирается на определение через реальность, таким образом любое определение, любая аксиома, любое понятие имеет определение
более того конструктивное определение! т.е. то определение, которое можно исполнить например аксиомы натурального ряда исполняет универсальный исполнитель нет неопределяемых понятий!!! о которых талдычат порой
а вот уже на конструктивных понятиях можно надстраивать неконструктивные понятия
более конкретно, это зависит от правил построения
(в том числе привет Хомский и Бэкус-Наур, и его правилам генеративных грамматик)
а вот для всяких таких процессов придумано специальное название рекурсивные функции, частично-рекурсивные функции, примитивно рекурсивные функции, нормальные алгоритмы Маркова
по сути мы переходим к универсальным вычислителям типа машины Тьюринга
универсальный вычислитель, универсальный исполнитель!
он опирается по сути на остенсивное определение
т.е. всякие определения натурального ряда и далее вся математика в итоге опирается на определение через реальность, таким образом любое определение, любая аксиома, любое понятие имеет определение
более того конструктивное определение!
т.е. то определение, которое можно исполнить
например аксиомы натурального ряда исполняет универсальный исполнитель
нет неопределяемых понятий!!! о которых талдычат порой
а вот уже на конструктивных понятиях можно надстраивать неконструктивные понятия
Reply
Leave a comment