I looked at my notes and more correctly it was Bob Coecke and Samson Abramsky that developed this new notation.
Ken > -----Original Message----- > From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] On Behalf Of Kenneth Lloyd > Sent: Friday, November 07, 2008 9:03 AM > To: 'The Friday Morning Applied Complexity Coffee Group' > Subject: Re: [FRIAM] AMS Notices: A Special Issue on Formal Proof > > Interesting quote, indeed. > > I personally find it challenging to keep up with new > mathematical notations. > "With every new mathematical concept comes its own new > mathematical notation." I can't remember who said it, but I > find it true. I can't quite decided whether it's the new > notation, or the new concepts that cause me fits. > > Example, see Samson Abramsky's (Oxford Quantum Computing) > extension of Feynmann diagrams into a new "graphical calculus". > > So I suppose I ask: "Which mathematical notations are > destined for history's dust bin?" > > Ken > > > -----Original Message----- > > From: [EMAIL PROTECTED] > > [mailto:[EMAIL PROTECTED] On Behalf Of Jochen Fromm > > Sent: Thursday, November 06, 2008 11:35 PM > > To: The Friday Morning Applied Complexity Coffee Group > > Subject: Re: [FRIAM] AMS Notices: A Special Issue on Formal Proof > > > > nice quote > > > > > "Is current mathematical notation today's roman numerals, a > > syntax we > > > have to leave behind or enhance to integrate with algorithms or > > > "scripts"" > > > > > > -J. > > > > ============================================================ > > 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 ============================================================ 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
