Сообщения со словом
«мн-во»

1. 30.06.2013, 22:15. siryoga в теме
   «Основы конструктивной теории множеств»
   ... помощью конечного алгоритма нельзя получить бесконечное мн-во или д ч как частный случай но ведь рассматриваемые в моём док-ве двоичные функции от натурального аргумента есть фактически характеристические функции принадлежности этого аргумента некоторому элементу булеана мн-ва всех натур чисел причем сама функция ассоциируется с этим элементом однозначно вне зависимости от того конечен он или бесконечен как мн-во а я прошу показать что существует подмножество...
2. 04.03.2013, 23:06. siryoga в теме
   «Основы конструктивной теории множеств»
   ... бесконечных мн-в а вы зачем-то предлагаете пример с конечным мн-вом 1 2 3 и у меня не претензии а вопрос см выше это как раз я у вас прошу конкретики как именно можно разбивать бесконечное мн-во на 2 класса на к-рые указали выше на этой стр...
3. 23.02.2013, 21:54. siryoga в теме
   «Основы конструктивной теории множеств»
   ... существует 1-1 отображения произвольного множества на мн-во всех его подмн-в
4. 13.01.2013, 18:51. siryoga в теме
   «Основы конструктивной теории множеств»
   эти результаты представляют собой мн-во всех д ч вычислимых с любой наперед заданной...
5. 13.01.2013, 02:12. siryoga в теме
   «Основы конструктивной теории множеств»
   я не рассматриваю мн-во алгоритмов получающих д ч эти алгоритмы лишь вычисляют за конечное кол-во арифметических операций все функции вида f n- 0 1 к-рые в принципе можно вычислить алгоритмически и к-рые определены u на каждом натуральном аргументе u и каждой такой функции можно однозначно поставить в соответствие одну бесконечную двоичную последовательность т е двоичное представление д ч и одну конечную запись програмы вычисляющей эту функцию вот и получается 1-1 соответствие между мн-вом д ч и подмн-вом счетного мн-ва всех конечных записей программ...
6. 12.01.2013, 21:16. siryoga в теме
   «Основы конструктивной теории множеств»
   ... неправильно понял вопрос г-на captious я рассматриваю мн-во алгоритмов результатами которых является только...
7. 12.01.2013, 20:59. siryoga в теме
   «Основы конструктивной теории множеств»
   так ведь я и рассматриваю мн-во только тех программ алгоритмов которые будут...
8. 12.01.2013, 20:01. siryoga в теме
   «Основы конструктивной теории множеств»
   ... определена операция построения мн-ва д ч выше я доказал что мн-во алгоритмически вычислимых бесконечных двоичних...
9. 12.01.2013, 17:59. siryoga в теме
   «Основы конструктивной теории множеств»
   ... арифметической операции можно построить воспроизвести мн-во n но если мы будем рассматривать мн-во всех его подмн-в и потребуем чтобы был четко...
10. 12.01.2013, 17:02. siryoga в теме
    «Основы конструктивной теории множеств»
    ... может быть основным свойством отличающим бесконечное мн-во от конечного и явлется то что конечному мн-во можну приписывать количество элементов мощность...