Attachment 3799

Printable View

- August 10th 2007, 05:55 AMfreed0mMathematical logic - String formulas and Godel numbers
- August 10th 2007, 04:04 PMPlato
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.