"Physics, Topology, Logic and Computation: A Rosetta Stone"

• Abramsky's account of axiomatic quantum mechanics
• Abramksy and Coecke on a related issue
• Coecke on the Categorical machinery
  

A bit OT perhaps, but I think htere's people on this list who would find this as interesting (and brain-numbing) as I did; the paper tries to explain abstractions tying FP to many other disciplines.

Answers to:
* How is function currying and quantum particle gate teleportation really just two versions of the same thing?
* How are time-reversed topological paths related to how Euclid proved the infinitude of primes?
* And, perhaps most pressing for this group, why does Scala use the term "Unit" instead of "void"?

http://arxiv.org/PS_cache/arxiv/pdf/0903/0903.0340v3.pdf

(Thanks to Ray Tayek, who posted this link to the OC Java Users Group list).

Best regards,
Brian Maso
(949) 395-8551
brian@blumenfeld-maso.com
twitter: @bmaso
skype: brian.maso
LinkedIn: http://www.linkedin.com/in/brianmaso

On Friday October 23 2009, Brian Maso wrote:
> A bit OT perhaps, but I think htere's people on this list who would
> find this as interesting (and brain-numbing) as I did; the paper
> tries to explain abstractions tying FP to many other disciplines.
>
> ...
>
> http://arxiv.org/PS_cache/arxiv/pdf/0903/0903.0340v3.pdf

Some might find it useful to have (and not have to reverse-engineer, as
it were) the abstract page URL:

I see one of the authors's is John Baez, of Usenet sci.physics fame.

> ...
>
> Brian Maso

Randall Schulz

On Fri, 2009-10-23 at 13:43 -0700, Randall R Schulz wrote:
> On Friday October 23 2009, Brian Maso wrote:
> > A bit OT perhaps, but I think htere's people on this list who would
> > find this as interesting (and brain-numbing) as I did; the paper
> > tries to explain abstractions tying FP to many other disciplines.
> >
> > ...
> >
> > http://arxiv.org/PS_cache/arxiv/pdf/0903/0903.0340v3.pdf
>
> Some might find it useful to have (and not have to reverse-engineer, as
> it were) the abstract page URL:
>
>
>
> I see one of the authors's is John Baez, of Usenet sci.physics fame.

It is interesting how these cross-disciplinary events create rapid
forward motion in the disciplines. Back in the late 1970s when
differential geometry met quantum field theory and general relativity,
theoretical particle physics moved forwards many, many years in a matter
of a few weeks.

Moral: look out as well as in to move a subject forward.