This page is no longer maintained — Please continue to the home page at www.scala-lang.org

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

3 replies
bmaso
Joined: 2009-10-04,
User offline. Last seen 2 years 40 weeks ago.
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 [at] blumenfeld-maso [dot] com
twitter: @bmaso
skype: brian.maso
LinkedIn: http://www.linkedin.com/in/brianmaso
Meredith Gregory
Joined: 2008-12-17,
User offline. Last seen 42 years 45 weeks ago.
Re: "Physics, Topology, Logic and Computation: A Rosetta Stone
Dear Brian,

Another perspective on these topics -- and more well informed from the computational point of view, ihmo -- is the work by Abramsky and Coecke. You might consider

Best wishes,

--greg

On Fri, Oct 23, 2009 at 11:03 AM, Brian Maso <brian [at] blumenfeld-maso [dot] com> 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.

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 [at] blumenfeld-maso [dot] com
twitter: @bmaso
skype: brian.maso
LinkedIn: http://www.linkedin.com/in/brianmaso



--
L.G. Meredith
Managing Partner
Biosimilarity LLC
1219 NW 83rd St
Seattle, WA 98117

+1 206.650.3740

http://biosimilarity.blogspot.com
Randall R Schulz
Joined: 2008-12-16,
User offline. Last seen 1 year 29 weeks ago.
Re: "Physics, Topology, Logic and Computation: A Rosetta Stone"

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

Russel Winder
Joined: 2009-02-13,
User offline. Last seen 42 years 45 weeks ago.
Re: "Physics, Topology, Logic and Computation: A Rosetta Stone"

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.

Copyright © 2012 École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland