|
|
|
| Syntactic Confectionery Delight | |
| PerlMonks |
Re: MOPT-02 - substitution and formal systemsby adrianh (Chancellor) |
| on Dec 16, 2002 at 22:10 UTC ( #220378=note: print w/ replies, xml ) | Need Help?? |
|
(1) - For a fun, if surreal, treatment of formal systems, check out Godel, Escher, Bach: An Eternal Golden Braid by Douglas Hofsteader. I second that suggestion. One of my all time favourite books. Great fun.
In Section
Meditations
|
|
||||||||||||||||||||