Subject: Re: on the relations of traditional CS theory to modern programming practice
From: rpw3@rpw3.org (Rob Warnock)
Date: Mon, 22 Oct 2007 21:03:27 -0500
Newsgroups: comp.lang.lisp,comp.lang.functional
Message-ID: <IoydncW0y_byy4DanZ2dnUVZ_qOknZ2d@speakeasy.net>
Thant Tessman <adm@standarddeviance.com> wrote:
+---------------
| For some unknown and unknowable reason, the universe manifests 
| structure. Our brains have evolved to (among many other things) perceive 
| that structure through our intellect. We may 'create' math, as Hersh 
| seems to be insisting, but the math we create is what it is only because 
| it is a reflection of the structure that genuinely exists outside of our 
| minds.
+---------------

Others might turn this on its head, and prefer to say:

    For some unknown and unknowable reason, our brains have evolved to
    (among many other things) perceive that there "is" an "external"
    universe which appears to manifest structure. Our brains have also
    created the notion of math, which (unsurprisingly) has structure
    which sometimes (but not always) resembles the structure we perceive
    to be in the previously-hypothecated "external universe".

Following Nagarjuna, the Madhyamakan view would be that the truth
of the matter is not the first of these, nor the second, nor both
the first and the second, nor neither the first nor the second.

But this is rapidly drifting off-topic. [Unless, of course, it
happens to lead to a practical demonstration of strong AI, and
then somebody will try to patent it, but that's another story...]


-Rob

-----
Rob Warnock			<rpw3@rpw3.org>
627 26th Avenue			<URL:http://rpw3.org/>
San Mateo, CA 94403		(650)572-2607