Beefy Boxes and Bandwidth Generously Provided by pair Networks
P is for Practical

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?

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://220378]
[Corion]: marto: Great! The German Perl Workshop was a success even though things looked dire before, and I'm now back at home with two days off work still to go ;)
[Corion]: I hope things have settled down a bit for you and the boys are alright?!
[choroba]: Good morning, if a bit rainy
[marto]: life is a struggle :P I'm glad the GPW went well.

How do I use this? | Other CB clients
Other Users?
Others contemplating the Monastery: (10)
As of 2017-06-29 08:07 GMT
Find Nodes?
    Voting Booth?
    How many monitors do you use while coding?

    Results (655 votes). Check out past polls.