# programs

**Programs have the same shape**

Any programming language powerful enough to run arbitrary code can write programs that print their own source or inspect themselves. That is self-reference in a concrete form, and it is also why no program can check every other program for bugs. That is Turing’s version of Gödel.

Connects to:
- [the threshold](https://mapideas.org/i/s_thr)
- [fixed means checkable](https://mapideas.org/i/r_fixed)
- [checkable or not](https://mapideas.org/i/c_check)

Sources:
- [Wikipedia: Quine (computing)](https://en.wikipedia.org/wiki/Quine_(computing))

Source: https://mapideas.org/i/s_prog · open on the map: https://mapideas.org/#s_prog