Quine (computer program): Difference between revisions
imported>Larry Sanger (Quine moved to Quine (computer program): Disambiguation. The man is far more likely to be searched for under "Quine" alone than the computer program.) |
imported>Larry Sanger (Moving clusters is harder than I thought it would be :-)) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{subpages}} | |||
A '''quine''' is a computer program which produces its own source code. Writing a Quine in various computer languages has been a popular challenge to computer programmers; this problem has been posed to readers in various magazines such as ''Creative Computing'' and ''Byte''. | |||
The challenge is to write a program which prints out exactly its own source code, without 'cheating', that is, without accessing any memory location which was not populated by the program's execution (so this rules out printing the file from disk, or scanning RAM for a copy of the code in an editor). | |||
A Quine is no mere puzzle; using a Quine it is possible to produce rather direct and simple proofs of both the Church-Turing Thesis and Godel's Incompleteness Theorem, both of which are among the highest achievements of human thought in the twentieth century. | |||
Latest revision as of 11:13, 12 January 2009
A quine is a computer program which produces its own source code. Writing a Quine in various computer languages has been a popular challenge to computer programmers; this problem has been posed to readers in various magazines such as Creative Computing and Byte.
The challenge is to write a program which prints out exactly its own source code, without 'cheating', that is, without accessing any memory location which was not populated by the program's execution (so this rules out printing the file from disk, or scanning RAM for a copy of the code in an editor).
A Quine is no mere puzzle; using a Quine it is possible to produce rather direct and simple proofs of both the Church-Turing Thesis and Godel's Incompleteness Theorem, both of which are among the highest achievements of human thought in the twentieth century.