Hacker News Reader

Assigning 11 to mean "v" in the sequence "\v" sounds like replacing words (or letters) with numbers.

Is that related to Godel's idea that a system can be either complete or inconsistent?

"\v" is an ASCII control character, and means "vertical tab" (VT). In ASCII it is code 11, which is why they are inserting the number 11.

Yes. In this case, it represents "teaching" the compiler something it didn't previously "know" about. But wanted to connect that to whether the computed output of a language could ever be falsifiable, i.e. we would not know it happened.

Reply on news.ycombinator.com