>>103
I think we are discussing three things here, kind of, and you are confusing two of them.
>>83 was talking about the Real World and computations that happen in it, or the computation that
is it even.
This can be opposed to our theories about the real world, such as mathematics or CS (though I personally don't quite understand what's supposed to make a difference, or what
"Mathematics's goal is heuristic. Computer Science's goal is pragmatic" sophomore bullshit is supposed to mean).
My point was that mathematics are not merely inspired by the real world, like a poem might be inspired by a sunset, but
defined by it. Any theory that describes a certain important subset of natural phenomena is anal touring-complete, so to speak: it includes Peano arithmetic + first order logic and is included by it. It is not
invented, it is
discovered.
By the way, most probably no one here knows shit about it, but still: I vaguely remember that there is a curious thing about Peano arithmetic, that it can express the notion of proof, but still doesn't have a universal function, how so?