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.
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to email@example.com.
To unsubscribe from this group, send email to
For more options, visit this group at