Комментарии участников:
Я считаю неправильным, что сегодняшняя наука требует, чтобы все научные теории были проверяемыми. Представьте себе, что значит быть проверяемой? Если что-то ложно, некий эксперимент может доказать, что это ложно. Однако настоящие физические законы, если бы они были несправедливыми, никогда бы не выполнялись.
Настоящий закон не является ошибочным, потому для доминирующей концепции не важно, проверяемый он или нет. И только в Теории конструктора можем ли мы сказать, являются ли все нереализованные возможностью часть теории? Мы говорим «нет», и это имеет значение в теории конструктора, даже если не имеет смысла в доминирующей концепции. По этой причине невозможно сформулировать принципы проверяемости в физике на сегодняшний момент. А в теории конструктора будет возможно сформулировать эти принципы и принципы вычислений.
На данный момент вычислительная техника воспринимается, как нефундаментальная наука высокого уровня, и как только мы поймем то, что фундаментальными являются квантовые вычисления, станет необходимо объединять науки макро- и микромира, физику, абстрактные вещи и так далее.
Еще одна проблема в физике, я думаю, это квантовая гравитация. Она пытается объединить квантовую механику и теорию относительности. Над этим бьются уже 50 лет, и мы далеко не продвинулись. Я думаю, что это может быть разрешено, но нужен новый прорыв. К сожалению, теория конструктора не может решить этот вопрос, но в принципе она и не должна решить все.
На данный момент вычислительная техника воспринимается, как нефундаментальная наука высокого уровня, и как только мы поймем то, что фундаментальными являются квантовые вычисления, станет необходимо объединять науки макро- и микромира, физику, абстрактные вещи и так далее.
Еще одна проблема в физике, я думаю, это квантовая гравитация. Она пытается объединить квантовую механику и теорию относительности. Над этим бьются уже 50 лет, и мы далеко не продвинулись. Я думаю, что это может быть разрешено, но нужен новый прорыв. К сожалению, теория конструктора не может решить этот вопрос, но в принципе она и не должна решить все.
Сначала должна прийти теория, а из теории вы получите результат. Это кажется сейчас парадоксальным, но пока это вопрос без ответа. Такой тип компьютерных программ отличается от всех других, и нам необходим какой-то прорыв в философии, который мог бы сказать нам, как это сделать. Лично я думаю, что программа искусственного интеллекта, когда она наконец будет написана, не окажется очень сложной. Это будет очень простая программа, содержащая знание, которое мы пока не имеем.
Я считаю, что это важная вещь, но изучение мозга не имеет фундаментального значения. Это важно с медицинской точки зрения, для человеческого здоровья, однако я не думаю, что изучение мозга может объяснить нам, как мозг работает. Возможно, когда-нибудь появится программа, которая сможет копировать процесс мышления, но эта симуляция не будет искусственным интеллектом. А вот понять, как он работает, это совсем другая задача (опять-таки я думаю, что устроен не так уж сложно).
Телемост с участием Дэвида Дойча состоится 24 июня в 20.00 в центре Digital October. Участие в обсуждении лекции примут выпускники МФТИ — директор Российского квантового центра Алексей Акимов, доцент кафедры теоретической физики МФТИ Леонид Федичкин, доцент кафедры информатики и физики Политехнического университета Виргинии Алексей Онуфриев.
Участие в обсуждении лекции примут выпускники МФТИ — директор Российского квантового центра Алексей Акимов, доцент кафедры теоретической физики МФТИ Леонид Федичкин, доцент кафедры информатики и физики Политехнического университета Виргинии Алексей Онуфриев.
Да я не спорю. Видные, уважаемые люди. Но всё же. Текст похож на поток мыслей. Так могли бы аспиранты потягивая пиво вечером на лавочке.
Что конкретно он нам предлагает?
Что конкретно он нам предлагает?
Вы правы, коллеги. Приятно, наверное, вообразить себя Норбертом Винером, Уильямом Россом Эшби или — на худой конец — Александром Александровичем Богдановым, а то и Владимиром Лефевром и забабахать
![efys]()
efys
Теорию конструкторакоторой подчиняются все остальные законы :)
Теория конструктора состоит из языка, которым можно выразить другие научные теории (она не может быть верной или неверной. Она может быть лишь удобной или неудобной), и этот язык тоже представляет из себя законы.При этом
Я считаю неправильным, что сегодняшняя наука требует, чтобы все научные теории были проверяемыми.
… и чтобы Рыбка Золотая была бы у меня на посылках ©
efys XII.
Предметом став суждений шумных,
Несносно (согласитесь в том)
Между людей благоразумных
Прослыть притворным чудаком,
Или печальным сумасбродом,
Иль даже Демоном моим.
Онегин (вновь займуся им),
Убив на поединке друга,
Дожив без цели, без трудов
До двадцати шести годов,
Томясь в бездействии досуга
Без службы, без жены, без дел,
Ничем заняться не умел.
