Beefy Boxes and Bandwidth Generously Provided by pair Networks
laziness, impatience, and hubris
 
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 perusing the Monastery: (15)
As of 2015-07-31 20:33 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    The top three priorities of my open tasks are (in descending order of likelihood to be worked on) ...









    Results (281 votes), past polls