new Baez/Stay paper on category theory as ako Rosetta stone

[Carl Tollander]

Of possible interest to Category Theory buffs:

John Baez and Mike Stay have a new paper entitled:
    Physics, Topology, Logic and Computation: A Rosetta Stone
at:  http://math.ucr.edu/home/baez/rosetta.pdf

In the subsequent discussion at the N-Category Cafe
at:
http://golem.ph.utexas.edu/category/2008/03/physics_topology_logic_and_com.html#c015742
Mike Stay talks a bit about Actors in this framework,
which those who talked to Dale Schumacher several weeks ago after his
FRIAM talk might find interesting.

(note to Dale, this is a bit different from what I had in mind
(i.e. a population of heterogenous agents using CT to build and maintain
neutral networks)
during our FRIAM conversation, but it gives you a sense of how the
correspondence between CT and Actors might be established.)

Carl

[Douglas Roberts-2]

Ok, now you're really screwing with my mind.  Joan C. (Chandos) Baez (
http://en.wikipedia.org/wiki/Joan_Baez) writing a paper on Physics,
Topology, Logic and Computation?

I think not. Bad boy, Carl.

--Doug

--
Doug Roberts, RTI International
droberts at rti.org
doug at parrot-farm.net
505-455-7333 - Office
505-670-8195 - Cell

On Tue, Mar 18, 2008 at 8:29 PM, Carl Tollander <carl at plektyx.com> wrote:

> Of possible interest to Category Theory buffs:
>
> John Baez and Mike Stay have a new paper entitled:
>    Physics, Topology, Logic and Computation: A Rosetta Stone
> at:  http://math.ucr.edu/home/baez/rosetta.pdf
>
> In the subsequent discussion at the N-Category Cafe
> at:
>
> http://golem.ph.utexas.edu/category/2008/03/physics_topology_logic_and_com.html#c015742
> Mike Stay talks a bit about Actors in this framework,
> which those who talked to Dale Schumacher several weeks ago after his
> FRIAM talk might find interesting.
>
> (note to Dale, this is a bit different from what I had in mind
> (i.e. a population of heterogenous agents using CT to build and maintain
> neutral networks)
> during our FRIAM conversation, but it gives you a sense of how the
> correspondence between CT and Actors might be established.)
>
> Carl
>
>
> ============================================================
> FRIAM Applied Complexity Group listserv
> Meets Fridays 9a-11:30 at cafe at St. John's College
> lectures, archives, unsubscribe, maps at http://www.friam.org
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://redfish.com/pipermail/friam_redfish.com/attachments/20080318/78e67fc4/attachment.html 

[Roger Critchlow-2]

OMG, John is Joan's cousin, unless there are two mathematical physicists
named John Baez, or someone's been spiking wikipedia.

-- rec --


On Tue, Mar 18, 2008 at 8:41 PM, Douglas Roberts <doug at parrot-farm.net>
wrote:

> Ok, now you're really screwing with my mind.  Joan C. (Chandos) Baez (
> http://en.wikipedia.org/wiki/Joan_Baez) writing a paper on Physics,
> Topology, Logic and Computation?
>
> I think not. Bad boy, Carl.
>
> --Doug
>
> --
> Doug Roberts, RTI International
> droberts at rti.org
> doug at parrot-farm.net
> 505-455-7333 - Office
> 505-670-8195 - Cell
>
>
> On Tue, Mar 18, 2008 at 8:29 PM, Carl Tollander <carl at plektyx.com> wrote:
>
> > Of possible interest to Category Theory buffs:
> >
> > John Baez and Mike Stay have a new paper entitled:
> >    Physics, Topology, Logic and Computation: A Rosetta Stone
> > at:  http://math.ucr.edu/home/baez/rosetta.pdf
> >
> > In the subsequent discussion at the N-Category Cafe
> > at:
> >
> > http://golem.ph.utexas.edu/category/2008/03/physics_topology_logic_and_com.html#c015742
> > Mike Stay talks a bit about Actors in this framework,
> > which those who talked to Dale Schumacher several weeks ago after his
> > FRIAM talk might find interesting.
> >
> > (note to Dale, this is a bit different from what I had in mind
> > (i.e. a population of heterogenous agents using CT to build and maintain
> > neutral networks)
> > during our FRIAM conversation, but it gives you a sense of how the
> > correspondence between CT and Actors might be established.)
> >
> > Carl
> >
> >
> > ============================================================
> > FRIAM Applied Complexity Group listserv
> > Meets Fridays 9a-11:30 at cafe at St. John's College
> > lectures, archives, unsubscribe, maps at http://www.friam.org
> >
>
>
>
>
>
> ============================================================
> FRIAM Applied Complexity Group listserv
> Meets Fridays 9a-11:30 at cafe at St. John's College
> lectures, archives, unsubscribe, maps at http://www.friam.org
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://redfish.com/pipermail/friam_redfish.com/attachments/20080318/19c79aa6/attachment.html 

[Steve Smith]

Roger Critchlow wrote:
> OMG, John is Joan's cousin, unless there are two mathematical
> physicists named John Baez, or someone's been spiking wikipedia.
>
> -- re
both seem about equally likely.

[Dale Schumacher]

I clearly don't have a strong enough mathematical background to comprehend
Category Theory.  Hewitt's comments do make sense to me, and reinforce the
notion that "ownership" of the data (storage) associated with a message is
transferred between a sending actor and a receiving actor (both
persistent).  Messages in transit are therefore "owned" by the system,
having a transitory existence that is independent of both sender and
receiver.

I've had an intuitive feeling that the mathematical theories underlying
Maude <http://maude.cs.uiuc.edu/> form a very clean basis for a
computational system.  Maude can express actor-model systems, but it is not
limited to them.  There seems to be the potential to create truly executable
specifications this way.  If it could be packaged in a way that makes it
approachable by non-technical/non-mathematical users, it could be a path
toward making the computer truly an extension or amplification of human
ability, which is what I believe it SHOULD be.

On Tue, Mar 18, 2008 at 9:29 PM, Carl Tollander <carl at plektyx.com> wrote:

> Of possible interest to Category Theory buffs:
>
> John Baez and Mike Stay have a new paper entitled:
>    Physics, Topology, Logic and Computation: A Rosetta Stone
> at:  http://math.ucr.edu/home/baez/rosetta.pdf
>
> In the subsequent discussion at the N-Category Cafe
> at:
>
> http://golem.ph.utexas.edu/category/2008/03/physics_topology_logic_and_com.html#c015742
> Mike Stay talks a bit about Actors in this framework,
> which those who talked to Dale Schumacher several weeks ago after his
> FRIAM talk might find interesting.
>
> (note to Dale, this is a bit different from what I had in mind
> (i.e. a population of heterogenous agents using CT to build and maintain
> neutral networks)
> during our FRIAM conversation, but it gives you a sense of how the
> correspondence between CT and Actors might be established.)
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://redfish.com/pipermail/friam_redfish.com/attachments/20080324/fb0d36c3/attachment.html