addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1linklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

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.

Join or login to comment.

  • Pierre de L.

    Ray gave a very interesting talk in part explaining how hyper graphs could be used as areprsentational vehicle for proof verification. He also invented the 3 element cons cell, consisting of the CAR, the CBR, and the CDR. It was a great talk.

    January 8, 2013

  • A former member
    A former member

    Good talk.

    January 8, 2013

Our Sponsors

  • NYI.net

    Colocation and hosting in downtown Manhattan

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy