> -----Original Message-----
> From:
[hidden email]
> [mailto:
[hidden email]] 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:
[hidden email]
> > [mailto:
[hidden email]] 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.orgMeets Fridays 9a-11:30 at cafe at St. John's College
Locked
