Лектор из меня никакой, да и лекцию эту слушал лет сорок назад.
Идея такая, допустим, что алгоритмов(формализованных как то) счетное количество. Т.е. мы их можем занумеровать ( если конструктивистская парадигма, то строится процедура нумерации) и тогда очень интересный вопрос о номере функции которая при входе Х дает результат вычисления функции с номером Х ( мы же их занумеровали) на аргументе тоже Х, но из результата вычитается 1 или отрицание результата или еще как искажает.
Так вот у этой функции не может быть номера. Т.е. предположение о том, что дискретных функций счетное количество приводит к противоречию.
Так что робот роботов это ложная конструкция. Существенно, фундаментально ложная.
Как то так.
Нее.
Ограничение фундаментальное. По мощности множеств. Программа по написанию других программм может создать в пределе (в смысле итого) только счетное множество других программ.
Можно занумеровать все создаваемые программмы, но тогда неясно, какой номер у этой самой метапрограммы, если конечно предположить ее наличие. Вот как то так.
Не, контур показывает нарушителя. Если бы был баг в проге, то тогда он проявлялся бы на каждом грязном номере, который нераспознается и она бы брала номер соседней машины.
Слишком уж синхронно на всех каналах, где каждая секунда денег стоит, началась жвачка про тень.
Что то мне подсказывает что это фейк, реклама чего то. Если прога оконтурила объект, то она там и будет номер искать. Если не нашла, то фотку будет человек смотреть. Так что это, скорее всего, ручная чья то работа.
Весь мой опыт мучения разных openCV протестует.
Робот всех роботов не может быть построен.
Идея такая, допустим, что алгоритмов(формализованных как то) счетное количество. Т.е. мы их можем занумеровать ( если конструктивистская парадигма, то строится процедура нумерации) и тогда очень интересный вопрос о номере функции которая при входе Х дает результат вычисления функции с номером Х ( мы же их занумеровали) на аргументе тоже Х, но из результата вычитается 1 или отрицание результата или еще как искажает.
Так вот у этой функции не может быть номера. Т.е. предположение о том, что дискретных функций счетное количество приводит к противоречию.
Так что робот роботов это ложная конструкция. Существенно, фундаментально ложная.
Как то так.
«А то ведь кнопку нажмут там и тут все МФЦ умрут»
Ограничение фундаментальное. По мощности множеств. Программа по написанию других программм может создать в пределе (в смысле итого) только счетное множество других программ.
Можно занумеровать все создаваемые программмы, но тогда неясно, какой номер у этой самой метапрограммы, если конечно предположить ее наличие. Вот как то так.
Это фундаментальное такое ограничение, невозможно написать программу, которая напишет все остальные ))
Слишком уж синхронно на всех каналах, где каждая секунда денег стоит, началась жвачка про тень.
Весь мой опыт мучения разных openCV протестует.