Есть известные трудности с определением того, что такое информация. И это понятно, ведь для того, чтобы оперировать этим понятием система уже должна обладать информационными свойствами. Здесь мы имеем дело не просто с рекурсией, а с мета-рекурсией. Поэтому невозможно определить, что такое информация, можно только создать непротиворчесивое пояснение, используя иллюзию понимания, основанную на привычности понятий. Это тоже может быть полезным.
Нет.
Для точного ответа на этот вопрос следовало бы провести исследование, но и без него очевидно, что есть одно весомое препятствие. Конечно, логика облегчает создание правильных суждений, но чтобы правильно применять логику, мышление уже должно быть правильным на довольно высоком уровне. Человек же с неправильным мышлением, скорее, и логику будет применять неправильно. Есть немало ценителей логики, у которых с логическим мышлением всё не очень хорошо.
Продолжение темы, затронутой в предыдущей заметке, посвящённой проблемам сверхобобщённого программирования.
В доработке...
В определённой степени программисты всегда пишут обобщённо, ведь программы обычно решают класс задач, а не строго одну задачу, например, решение не конкретного уравнения, а множества уравнений. Кроме того, самые обобщённые коды уже созданы много раз — это алгоритмически полные исполнители. Параметризуя их конфигурацией, в данном случае называемой программой, можно добиться исполнения всего, что возможно в принципе. Но программистам этого мало, и они хотят писать всё более обобщённо, вовлекая в это всё больше деталей на разных уровнях. Такой код следовало бы называть сверхобобщённым, потому что он обобщает обобщения. Этот подход заманчив, ведь он потенциально позволяет меньшими усилиями решать больше задач. Но главная проблема такого кода в том, что:
Размышляя о духе времени (Zeitgeist) в его современном воплощении, я обнаружил примечательное явление в мире технического разума – язык программирования Oberon. Подобно тому, как в диалектическом движении Дух стремится к самопознанию через противоречия и их преодоление, Oberon представляет собой синтез предшествующих форм программной мысли.
В развитии Абсолютного Духа наблюдаем мы теперь новое и весьма примечательное явление — так называемый "искусственный интеллект", который представляет собой диалектическое отрицание естественного мышления человека. В этом противоречии между естественным и искусственным раскрывается новая ступень самопознания Духа.
