Pathologically Eclectic Rubbish Lister | |
PerlMonks |
Re: MOPT-02 - substitution and formal systemsby adrianh (Chancellor) |
on Dec 16, 2002 at 22:10 UTC ( [id://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
|
|