Jim Choate
Tue, 02 Apr 2002 19:37:39 -0800
On Wed, 3 Apr 2002, Sampo Syreeni wrote:
> >The fact that we use "Alice and Bob" diagrams, with "Eve" and "Vinnie
> >the Verifier" and so on, with arrows showing the flow of signatures, or
> >digital money, or receipts....well, this is a hint that the
> >category-theoretic point of view may be extremely useful. (At other
> >levels, it's number theory...the stuff about Euler's totient function
> >and primes and all that. But at another level it's about commutative and
> >transitive mappings, and about _diagrams_.)
>
> I don't see the connection. Category theory mostly seems to be about
> questioning the way we represent and visualize mathematics. There, it is
> beginning to have some real influence. However, what you're describing
> above is well below that, in the realm of ordinary sets and functions. I
> seem to think categories have very little to do with such things.
It is about visualizing any sort of relationship, not just mathematics.
Category Theory has a lot to say about the 'simplicity' of the cosmos. It
also has a lot to say (in a self-referential manner) about the way humans
think about thinking. It will, in the long run, be a critical component in
developing AI.
> >* the whole ball of wax that is complexity, fractals, chaos,
> >self-organized criticality, artificial life, etc. Tres trendy since
> >around 1985. But not terribly useful, so far.
>
> No? I seem to recall a couple of articles on how actual markets behave
> chaotically, based on time-series data. Such a conclusion is quite a feat,
> I'd say, and there's bound to be more out there. Besides, I'm not quite
> sure chaotics hasn't had an impact on e.g. cipher design -- current cipher
> design seems to concentrate a lot on diffusion, for instance. What is
> diffusion but a discretized version of a Lyapunov exponent-like
> characterization of chaotic blow-up?
Actualy it's very useful, it even leads into CT if you keep at it.
Diffusion may be -fractal-, but that is not the same as -chaotic-. You're
confusing the two.
> Of course. But how is this interesting? I view objects mainly as a logical
> extension of the analytic method: to-undestand-break-it-down. Not nearly
> as interesting as blind learning algos or the like.
??? Object oriented programming is about memory and function
consolidation. It flows from the management of effects and side-effects,
not from any generalization of the analytical process.
--
____________________________________________________________________
There is less in this than meets the eye.
Tellulah Bankhead
[EMAIL PROTECTED] www.ssz.com
[EMAIL PROTECTED] www.open-forge.org
--------------------------------------------------------------------