Comments 5
Ещё один хочет вывести теорию из базовых предпосылок, отделяя что возможно, а что нет. Гёделя на него нет.
Как раз на Гёделя он во многом и опирается. Речь же идёт не о формальной системе аксиом, а о принципах, выведенных из множества контрфактических вариантов путём вариации и отбора.
Кстати, Гёдель доказал свою теорему о неполноте, воспользовавшись диагональным методом Кантора. По аналогичной схеме и Тьюринг, работая над своей абстрактной машиной, пришёл к выводу, что практически все математические функции, которые логически могут существовать, нельзя вычислить никакой программой. Они невычислимы, потому что множество всех функций – несчётно бесконечно, а множество программ – лишь счётно бесконечно. А Дэвид Дойч тем же диагональным методом доказал, что для каждой среды из репертуара универсального генератора виртуальной реальности существует бесконечно много сред Кантгоуту (в честь Кантора, Гёделя и Тьюринга), которые генератор не может передать. То есть мы можем представить или смоделировать на компьютере бесконечно малую часть логически возможных (самосогласованных) миров. Но теория конструкторов охватывает и среды Кантгоуту, при условии, что мы можем объяснить, почему их нельзя смоделировать в виртуальной реальности.
Не понимаю в чем проблема то. Ну невычислимы почти все действительные функции. А пример можно такой функции, кстати?) Ну так и множество действительных чисел нельзя представить в компьютере.
В чем разница набора принципов от системы аксиом?
Все это похоже на набор слов, возможно проявляется недостаток моего интеллекта.
Дэвид Дойч считает, что вычислимость или невычислимость функции зависит от физических законов нашей вселенной. В другой вселенной с другими законами будет другой набор вычислимых функций и другой репертуар универсального компьютера. Теорема о неполноте Гёделя и теорема о неразрешимости задачи остановки Тьюринга опираются на диагональное доказательство Кантора, которое, как и любое математическое доказательство, является вычислением и зависит от свойств компьютера, на котором оно выполняется. Что можно, а что нельзя вычислить или доказать, определяется набором логических операций, допустимых в нашей вселенной. И теория конструкторов как раз об этом.
Британские учёные когда делать нечего лижут яйца
Теория конструкторов – наука о том, что можно, а что нельзя