Talks in math, buzzes like a fridge |
Jul. 30th, 2013|10:37 pm |
Японский программист Юсукэ Эндо сконструировал эстафету из 50-ти квайнов ("квайн" - это общий термин для программ, которые выдают свой собственный текст), о чем написали в том числе и на хабре: http://habrahabr.ru/post/186782/
Народ восхищается и чешет репу - "он, наверное, какой-то принцип уловил".
Честно говоря, я тоже сам не допер, что это за "принцип", но там в комментах для слоупоков вроде меня дали ссылку на статью:
http://www.madore.org/~david/computers/quine.html
где написано:
A “quine” (or “selfrep”) is a computer program which prints its own listing. This may sound either impossible, or trivial, or completely uninteresting, depending on your temper and your knowledge of computer science. Actually, it is possible, and there are some interesting ideas involved (in particular, writing a quine is not a hack that only works because the programming language has certain nice properties — it is a consequence of the general so-called “fixed-point” theorem, itself an instance of Cantor's ubiquitous diagonal argument).
Он же принцип fixed-point комбинаторов, он же принцип Тьюринговой универсальности, он же принцип Геделевой теоремы о неполноте (у Геделя нумеровались доказательства, здесь - программы (они же алгоритмы, они же машины Тьюринга)), но вот, что оно идет аж от "диагонального аргумента" Кантора... Хм. Честно говоря, не представлял, что оно вот так укладывается все вместе в одну общую картинку, да и сейчас вижу только общие очертания, а ясного понимания нет. Надо подумать над этим не спеша. |
|