New answers tagged


"We use a suitable Gödel numbering of descriptions of context-sensitive grammars. For example, a context-sensitive grammar may be represented by a string of characters in some accepted formalism. Obviously, such a string is represented by a finite sequence of bits in computer memory, which is the Gödel code in question." This will do in a research paper (we'...

Top 50 recent answers are included