Oh, no. Quines) are just as common in programming as they are in natural languages. Also see the diagonal lemma. I use self-referential sentences to prove theorems all the time, they’re very common and can be used for a huge variety of purposes.
Oh, no. Quines) are just as common in programming as they are in natural languages. Also see the diagonal lemma. I use self-referential sentences to prove theorems all the time, they’re very common and can be used for a huge variety of purposes.