-
Неумолимые законы физики
Физика спрашивают, верит ли он в привидения. Он отвечает: ‘Конечно нет; привидения не содержат ни энергии, ни материи, и поэтому согласно законам физики они не существуют’. Затем физик задумывается и говорит: ‘Но, конечно, законы физики не состоят ни из энергии, ни из материи, и поэтому они также не существуют.’ Этот анекдот будет введением в обсуждение…
-
Гипервычисления
Алан Тьюринг показал, что число вычисляемых функций счетно; поскольку число всех функций несчетно, то подавляющее большинство функций нельзя вычислить на машине Тьюринга. Среди них находится так называемая функция остановки — по описанию программы определить произойдет ли ее нормальное завершение или нет. Далее Тьюринг работал вместе с Алонзо Чёрчем. В диссертационной работе ‘Логические системы, основанные на…
-
Вычисления на любой вкус
Увидел статью с чудным названием: ‘Естественные морфологические вычисления как основа способности к обучению у людей, других живых существ и интеллектуальных машин‘. Удержаться от прочтения было невозможно; как известно, надежда умирает последней. Статья представляет собой структурированный обзор статей, в которых в основу кладутся вычисления в той или иной форме. Выделены несколько уровней, на которых протекают вычисления…
-
Алан Тьюринг: Автоматическая вычислительная машина
Узнал, что Алан Тьюринг в конце сороковых годов участвовал в проекте по разработке компьютера. В 1947 году он прочитал лекцию ‘Автоматическая вычислительная машина‘. Пожалуй, самое интересное в ней связано со значением слова computer. В 1947 году это слово означало человека-вычислителя! Так, утверждение из лекции: ‘ACE will do the work of about 10,000 computers.’ следует перевести…
-
Случайность в биологии
Трудно понять, что биологи называют случайностью. С одной стороны, это вроде бы принадлежит к базовым понятиям при обсуждении биологической эволюции (например, случайные ошибки при копировании), с другой, биологи не стремятся к использованию понятия случайности в духе теории вероятностей. Ниже представлены четыре сюжета на эту тему. ‘Естественный отбор в детерминированной Вселенной‘: взгляды Чарлза Дарвина и Томаса…
-
Бруно Маршаль: Метафизика вычислений
Вычислительная теория сознания лежит в основе идей сильного искусственного интеллекта и загрузки сознания человека в компьютер. Вычислительная теория сознания также была популярна среди сторонников кибернетической парадигмы, хотя в настоящее время многие нейроученые занимают позицию углеродного шовинизма и поэтому отвергают возможность появления сознания в роботах. В любом случае работы логика Бруно Маршаля показывают неожиданные следствия из…
-
Интересная информация из книги Анила Сета
В книге Анила Сета ‘Быть собой. Новая теория сознания‘ мой интерес привлекло описание экспериментов, результаты которых предполагается использовать для диагностики о нахождении человека в сознании; описание теории интегрированной информации Джулио Тонони и принципа свободной энергии Карла Фристона. Ниже несколько цитат с комментариями. Методика замера ответного импульса и индекс сложности возмущений ‘сознание зависит не от деятельности…
-
Очки нейроученого
Анил Сет — профессор когнитивной и вычислительной нейронауки. По его словам он увидел живой мозг впервые в 47 лет, когда его пригласили присутствовать на операции в качестве наблюдателя. Это обстоятельство приводит к небольшим отличиям в его решении неподдающейся проблемы сознания, которое дано в книге ‘Быть собой. Новая теория сознания‘ в духе минимизации ошибок предсказания. Тем…