NYC LOCAL: Tuesday 8 January 2013 Lisp NYC: Raymond Puzio on A Hyperreal Dictionary of Mathematics

[secretary]

<blockquote
  what="official LispNYC announcement from
        http://lispnyc.org/";
  edits="list of mailing list posts removed">

 Subject: New York City Lisp User Group: A Hyperreal Dictionary of Mathematics
 X-URL: http://lispnyc.org/

    corner New York City
    Lisp Group LispNYC.org meetings blogs news home

    ( front-page )

    Upcoming related events:
      * Jan 23-25, Lambda Next in Berlin, Germany
      * Feb, 12, Erlang Factory Lite 2013 in Munich, Germany
      * Mar 18-20, Clojure West in Portland, Oregon
      * Jun 1-4, European Lisp Symposium 2013 - ELS'13 in Madrid, Spain

    ( meeting - Tuesday, January 8, 7:00 PM - A Hyperreal Dictionary of
    Mathematics )

    PlanetMath is a virtual community that aims to make mathematics more
    accessible. Over the years, some of the PlanetMath contributors have been
    doing research on how to improve PlanetMath's software-on the one hand,
    adding new features to the user interface, and on the other, adding
    artificial intelligence features in the backend.

    One of the branches of the project that overlaps both of these areas is a
    new hypertext system, which will not only be useful for storing and
    editing the PlanetMath database but also for representing mathematical
    knowledge in a form which is suitable for intelligent manipulation by
    computer, such as verifying proofs and answering questions. We call this
    "Arxana"; the name is loosely inspired by Ted Nelson's Project Xanadu.

    The main areas of current development which I will discuss are:
      * Separation of front, middle and back-end by devising a standard
        interface. This makes the codebase more modular and makes it easier
        to reuse our earlier code. I'm focusing on the "middle end" so that
        we don't get lost in the details!
      * Representing literate programs as hypertext, with dependencies
        indicated by links, so that programs can be run as networks in situ
        or compiled down to standard code.
      * A hypergraph search facility which allows for semantic search, as
        well as implementing logical inference rules.

    Raymond Puzio obtained his Bachelor's degree in Physics at Columbia,
    where he had his first introduction to LISP in the basement of the math
    building, followed by a doctorate at Yale.
    After a few years in academia, he became involved with PlanetMath,
    originally as a contributor, later also becoming involved in
    organizational aspects of the project as well. Shortly, after joining
    PlanetMath, he met Joe Corneli, with whom he has since been collaborating
    on the projects about which he will speak.

    Pizza, beer and soft drinks provided by Meetup.

    Location:
    Meetup HQ, 9th Floor
    632 Broadway

    more

 < ... />

    ( functional development )

    LispNYC is a community devoted to the advocacy and advancement of
    Lisp-based functional programming technologies such as Common Lisp,
    Scheme and Clojure.

    We focus on education, outreach, regular monthly meetings, mailing lists
    and development projects.

    Monthly meetings are held every second Tuesday, are free and open to all.

    Providing parentheses to NYC since 2002

    ( member services )

    mailing list Lispnyc Bloggers Meetup Google+ Facebook Linked In Twitter

    ( contact )

    contact lisp merchandise

                                    [ilc.png]

    bottom corner
      "Will write code that writes code that writes code that writes code for
    money." - on comp.lang.lisp
    about this site
  
</blockquote>


Distributed poC TINC:

Jay Sulzberger <secretary@lxny.org>
Corresponding Secretary LXNY
LXNY is New York's Free Computing Organization.
http://www.lxny.org