Possibly of related interest, I have just started reading this book (have a pdf version)<br><br><a href="http://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=10&ved=0CHwQFjAJ&url=http%3A%2F%2Fwww.amazon.com%2FDiscovering-Artificial-Economics-Agents-Economies%2Fdp%2F0813397707&ei=RRQBT-zqBO7WiALJ96W7Dg&usg=AFQjCNFqzyqZV94AXY0AyEoiGTNTDALxRg&sig2=kY9ibzakHtSVI2Tb1vXYgg">http://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=10&ved=0CHwQFjAJ&url=http%3A%2F%2Fwww.amazon.com%2FDiscovering-Artificial-Economics-Agents-Economies%2Fdp%2F0813397707&ei=RRQBT-zqBO7WiALJ96W7Dg&usg=AFQjCNFqzyqZV94AXY0AyEoiGTNTDALxRg&sig2=kY9ibzakHtSVI2Tb1vXYgg</a><br>
<br><div class="gmail_quote">On Sat, Dec 31, 2011 at 6:58 PM, jim <span dir="ltr"><<a href="mailto:jim@well.com">jim@well.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
<br>
    As to the possibilities of computer "tho't", per Will's note<br>
that CS is best at concrete math, sets, and category theory, the<br>
PyPy implementation of Python suggests an idea I find interesting:<br>
<br>
    (preamble) the primary implementation of Python is written in<br>
C, which is one of the most primitive and therefore fastest<br>
computer languages.<br>
    The PyPy folks had a vision that if they use Python to write<br>
a Python just-in-time (JIT) compiler, the expressivity that the<br>
Python language allows is sufficiently powerful that the PyPy<br>
compiler will, given some time for getting the wrinkles out, be<br>
significantly faster than a Python compiler/interpreter written<br>
in C. I.e. while simple crude pedal-to-the-metal code is very<br>
fast, it can be beaten by clever algorithms. The latest releases<br>
of PyPy seem to bear this out: code that drives a JIT compiler<br>
written in Python, which itself has been written in C, in some<br>
cases runs faster than it would if it were driving a JIT Python<br>
compiler written directly in C.<br>
<br>
    (the interesting idea) seems to me that given the right<br>
structures (i.e. basic algorithms) so that a body of code can<br>
learn , the body of code will necessarily develop its own<br>
algorithms that will at some (relatively early) point in its<br>
self-maturation process be incomprehensible to humans, and that<br>
will be a starting off point for increasingly powerful<br>
algorithmic "thoughts".<br>
    Given free rein, such a self-directed body of code would<br>
probably quickly explore realms of thought that would have no<br>
bearing on human thinking as well as developments of thought<br>
that might profoundly alter the development of human ideas<br>
(gasp for air).<br>
    an entertaining issue might be: given the incomprehensible<br>
underpinnings of a seemingly useful idea, to what extent<br>
should we trust that idea, and how could we defend against<br>
unforeseeable implications that might ultimately be to human<br>
disadvantage.<br>
    another entertaining adjunct issue is to add the concept<br>
that the body of code was capable of self-awareness, i.e. its<br>
awareness of its own identity.<br>
<br>
    ....well, this gets far afield of the original topic....<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
<br>
<br>
On Sat, 2011-12-31 at 17:10 -0800, Will Sargent wrote:<br>
><br>
><br>
> On Fri, Dec 30, 2011 at 1:08 PM, Caleb Grayson<br>
> <<a href="mailto:calebgrayson@gmail.com">calebgrayson@gmail.com</a>> wrote:<br>
>         Well.. I'm not sure. I'm more of a philosopher than a computer<br>
>         scientist.<br>
><br>
><br>
>         In Whitehead's Process Philosophy he said everything in<br>
>         reality is a function or process that takes in the entire<br>
>         universe at every moment and spits out Actual Occasions that<br>
>         become apart of the Creative Advance, the history of<br>
>         functional  results in time and space.<br>
><br>
><br>
> ...wouldn't Physics be better at answering the question of time and<br>
> space?<br>
><br>
>         There is a question as to what time an space are. It is m<br>
>         suspicion that functions and their solutions are not in time<br>
>         and space, but time and space are  in functions and their<br>
>         solutions. Why would times and spaces for which nothing is<br>
>         happening be generated by an efficient system?<br>
>         CS, if I understand correctly, time and space have to be<br>
>         predefined by establishing their numerical domains first.<br>
>         I'm hoping CS in its attempt to simulate reality can give<br>
>         inside into it.<br>
><br>
><br>
> CS can only model reality by simulation.  What it's really good at is<br>
> concrete math, sets and category theory -- telling you what answers<br>
> are possible and which are not, which systems can be built and which<br>
> cannot, which operations are possible and which are not.  There's an<br>
> interesting paper that shows all computer programs are formal logic<br>
> proofs, and you can do fun things by breaking out of a restricted<br>
> environment to another -- escaping into a wierd machine -- but<br>
> ultimately it's always the rules of the machine as defined by the<br>
> chip.  Whatever world we define in there is simulated, and isn't going<br>
> to break out of the instruction pointer of the CPU running it.<br>
><br>
><br>
>         Of course CS being a rational/material system has no place to<br>
>         calculate for spirit/soul outside of its system which<br>
>         Whitehead does allow for.<br>
><br>
><br>
> Not at all -- rational / material systems can calculate for soul.<br>
>  According to the best neurological analysis, the amount of calculated<br>
> soul is 0.<br>
><br>
><br>
> <a href="http://edge.org/3rd_culture/sapolsky09/sapolsky09_index.html" target="_blank">http://edge.org/3rd_culture/sapolsky09/sapolsky09_index.html</a><br>
><br>
><br>
> Will.<br>
</div></div><div class="HOEnZb"><div class="h5">> _______________________________________________<br>
> Noisebridge-discuss mailing list<br>
> <a href="mailto:Noisebridge-discuss@lists.noisebridge.net">Noisebridge-discuss@lists.noisebridge.net</a><br>
> <a href="https://www.noisebridge.net/mailman/listinfo/noisebridge-discuss" target="_blank">https://www.noisebridge.net/mailman/listinfo/noisebridge-discuss</a><br>
<br>
<br>
_______________________________________________<br>
Noisebridge-discuss mailing list<br>
<a href="mailto:Noisebridge-discuss@lists.noisebridge.net">Noisebridge-discuss@lists.noisebridge.net</a><br>
<a href="https://www.noisebridge.net/mailman/listinfo/noisebridge-discuss" target="_blank">https://www.noisebridge.net/mailman/listinfo/noisebridge-discuss</a><br>
</div></div></blockquote></div><br>