Иисус отверг Тему - esolanguages 2 [entries|archive|friends|userinfo]
Шансонье Дима Даннер

[ website | Полин Квітне ]
[ userinfo | ljr userinfo ]
[ archive | journal archive ]

esolanguages 2 [Apr. 13th, 2011|10:55 pm]
Previous Entry Add to Memories Tell A Friend Next Entry
LinkLeave a comment

Comments:
[User Picture]
From:[info]polytheme
Date:April 14th, 2011 - 06:46 pm
(Link)
>Утверждаю, что такие языки невычислимы, поскольку функции, которые надо оценить, в общем случае - частичные рекурсивные функции, а их оценивание было бы эквивалентно решению проблемы остановки

с одной стороны - да, с другой стороны - нужно просто перебрать все состояния человеческого мозга и найти среди них минимальные
[User Picture]
From:[info]dmitry_danner
Date:April 14th, 2011 - 10:54 pm
(Link)
елки, залип...

в общем, если у мозга конечное число состояний, то можно оценить все функции, останавливающиеся за какое-то верхнее время. ни больше, ни меньше, но подозреваю, что это можно сделать и более легким методом :)

а если число состояний бесконечно (что вроде как следует из определения "состояния мозга" как однозначного отображения Т-предиката - совокупности геделевского номера алгоритма, его аргументов и номера текущего состояния), то тем более ничего не выйдет...