Beefy Boxes and Bandwidth Generously Provided by pair Networks
Pathologically Eclectic Rubbish Lister
 
PerlMonks  

Re: MOPT-02 - substitution and formal systems

by adrianh (Chancellor)
on Dec 16, 2002 at 22:10 UTC ( #220378=note: print w/ replies, xml ) Need Help??


in reply to MOPT-02 - substitution and formal systems

(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.

  • Comment on Re: MOPT-02 - substitution and formal systems

Log In?
Username:
Password:

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://220378]
help
Chatterbox?
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others about the Monastery: (1)
As of 2016-07-31 00:34 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?
    What is your favorite alternate name for a (specific) keyboard key?


















    Results (269 votes). Check out past polls.