On Jan 9, 6:06 am, Bruno Marchal <marc...@ulb.ac.be> wrote:

> I agree with your general reply to Craig, but I disagree that
> computations are physical. That's the revisionist conception of
> computation, defended by Deustch, Landauer, etc. Computations have
> been discovered by mathematicians when trying to expalin some
> foundational difficulties in pure mathematics.

Mathematicians aren't physical? Computations are discovered through a
living nervous system, one that has been highly developed and
conditioned specifically for that purpose.

>We can implement
> computation in the physical worlds, but that means only that the
> physical reality is (at least) Turing universal. Theoretical computer
> science is a branch of pure mathematics, even completely embeddable in
> arithmetical truth.

And pure mathematics is a branch of anthropology.

Craig

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to 
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/everything-list?hl=en.

Reply via email to