3 ms·
How do you measure the length of the definition of the language used to write p? You just have the same problem all over again, because it depends on the meta-l
by kcanini 12y ago
How do you measure the length of the definition of the language used to write p? You just have the same problem all over again, because it depends on the meta-language you use to define your language.