Теорема Клини о неподвижной точке: квайны
Здравствуйте, хабралюди. В последнее время было много разговоров о квайнах, и даже некоторый теоретический спин-офф. Повторю за автором только что упомянутого топика: если вы знакомы с CS, то далее читать нет смысла — все это вы и так хорошо знаете. А статья будет ответом на вопрос — всегда ли можно написать квайн? Точнее, на любом ли языке? Физики скажут, что на всех: раз можно написать и на компилируемом C, и на брейнфаке, а кто-то и на SQL пишет — опыт говорит, что ответ на вопрос да. Математика тоже говорит, что да.Теорема 2На любом алгоритмически полном языке программирования можно написать программу, печатающую свой код.Читать дальше →
