| esolanguages 2 |
[Apr. 13th, 2011|10:55 pm] |
Еще два:
Memfractal - каждой копии программы доступен один бит памяти, но копии эти могут невозбранно рекурсивно саморазмножаться.
Clue - язык, основанный на функциях, каковые задаются в виде примеров (парами "аргумент-значение") и оцениваются компилятором. У меня и у самого была точно такая же идея. Утверждаю, что такие языки невычислимы, поскольку функции, которые надо оценить, в общем случае - частичные рекурсивные функции, а их оценивание было бы эквивалентно решению проблемы остановки (там еще есть недописанный язык Lazy, который пытается задавать такие функции напрямую %) ). Намного интереснее было бы посмотреть на применимость подобного языка для какого-то более узкого класса алгоритмов. Ежели раздуплюсь, попытаюсь подумать над этим. |
|
|
| Comments: |
>Утверждаю, что такие языки невычислимы, поскольку функции, которые надо оценить, в общем случае - частичные рекурсивные функции, а их оценивание было бы эквивалентно решению проблемы остановки
с одной стороны - да, с другой стороны - нужно просто перебрать все состояния человеческого мозга и найти среди них минимальные
елки, залип...
в общем, если у мозга конечное число состояний, то можно оценить все функции, останавливающиеся за какое-то верхнее время. ни больше, ни меньше, но подозреваю, что это можно сделать и более легким методом :)
а если число состояний бесконечно (что вроде как следует из определения "состояния мозга" как однозначного отображения Т-предиката - совокупности геделевского номера алгоритма, его аргументов и номера текущего состояния), то тем более ничего не выйдет... | |
![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small}