?

Log in

No account? Create an account
nyaload

Журнал Пушыстого

Журнал Пушыстого

eval_me
nyaload
_winnie


eval_me = (lambda x: x % repr(x))('(lambda x: x %% repr(x))(%s)')
assert eval_me == eval(eval(eval(eval(eval(eval(eval_me))))))
eval_me


Забавно, в нескольких сложных молекулах записана программа, которая может построить человека, и заодно скопировать себя.

upd: 3-way merge.

Ягодный парадокс ( Berry Paradox )
nyaload
_winnie
"Минимальное1 положительное2 число,3 которое4 невозможно5 описать6 менее,7 чем8 тринадцатью9 словами10 русского11 языка12"

Эта фраза в 12 слов определяет некое число, которое невозможно определить менее чем в 13 слов.
Можно дать похожее описание не обязательно на русском, но и на каком-нибудь языке программирования, или в математической нотации.

Парадокс, однако!

Объяснение.

Функция количества букв, необходимых для записи числа - является невычислимой, так же как программа, определяющая, завершится ли программа (halting problem).
Кстати, если попытаться написать такое определение "в лоб" на каком-нибудь скриптовом языке, перечисляя все строки с программами, то имено в проблему останова она и уткнётся.
Но только там парадокс создают долго и нудно, для доказательства "от обратного", чертя всякие схемки на доске, а тут парадокс возникает прямо сразу.

(no subject)
nyaload
_winnie
"машинка, перерабатывающая кофе в код"