Attachment 3799
Printable View
freed0m, I think you deserve a reply. Your question is really textbook specific. Unless one goes back to Godel’s original paper, there is no standard text that uses his notation. The same statement can be made about the nature of valid strings.
Therefore, the answer to these questions depends upon the textbook is use.
