esolanguages 2 |
[Apr. 13th, 2011|10:55 pm] |
|
|
|
Comments: |
>Утверждаю, что такие языки невычислимы, поскольку функции, которые надо оценить, в общем случае - частичные рекурсивные функции, а их оценивание было бы эквивалентно решению проблемы остановки
с одной стороны - да, с другой стороны - нужно просто перебрать все состояния человеческого мозга и найти среди них минимальные
елки, залип...
в общем, если у мозга конечное число состояний, то можно оценить все функции, останавливающиеся за какое-то верхнее время. ни больше, ни меньше, но подозреваю, что это можно сделать и более легким методом :)
а если число состояний бесконечно (что вроде как следует из определения "состояния мозга" как однозначного отображения Т-предиката - совокупности геделевского номера алгоритма, его аргументов и номера текущего состояния), то тем более ничего не выйдет... | |