4 ms·
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 eithe
by turtleyacht 1y ago
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?
- Digit-Al 1y ago"\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.
- turtleyacht 1y agoYes. 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.