From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: secretary@lxny.org Newsgroups: gmane.emacs.help Subject: NYC LOCAL: Tuesday 12 July 2005 Lisp NYC: Raymond Puzio on Lisp, Mathematics, and the Library of Leibniz and Borges and Google Date: 11 Jul 2005 02:36:18 -0400 Organization: LXNY New York's Free Software Organization Message-ID: NNTP-Posting-Host: main.gmane.org X-Trace: sea.gmane.org 1121064467 30589 80.91.229.2 (11 Jul 2005 06:47:47 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Mon, 11 Jul 2005 06:47:47 +0000 (UTC) Keywords: available, hackable, freely redistributable source; GPL, BSDL, ArtisticL, XSL Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Mon Jul 11 08:47:44 2005 Return-path: Original-Received: from lists.gnu.org ([199.232.76.165]) by ciao.gmane.org with esmtp (Exim 4.43) id 1Drs4b-0003bQ-EX for geh-help-gnu-emacs@m.gmane.org; Mon, 11 Jul 2005 08:47:25 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Drs69-0005EH-Hh for geh-help-gnu-emacs@m.gmane.org; Mon, 11 Jul 2005 02:49:01 -0400 Original-Path: shelby.stanford.edu!newsfeed.stanford.edu!newsfeed.berkeley.edu!ucberkeley!newsfeed-00.mathworks.com!panix!panix5.panix.com!not-for-mail Original-Newsgroups: alt.religion.emacs,comp.lang.lisp,comp.lang.scheme,gnu.emacs.help Original-Followup-To: comp.lang.lisp Original-Lines: 129 Original-NNTP-Posting-Host: panix5.panix.com Original-X-Trace: reader2.panix.com 1121063778 4690 166.84.1.5 (11 Jul 2005 06:36:18 GMT) Original-X-Complaints-To: abuse@panix.com Original-NNTP-Posting-Date: Mon, 11 Jul 2005 06:36:18 +0000 (UTC) Original-Xref: shelby.stanford.edu alt.religion.emacs:8753 comp.lang.lisp:171206 comp.lang.scheme:62301 gnu.emacs.help:132392 Original-To: help-gnu-emacs@gnu.org X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.help:27872 X-Report-Spam: http://spam.gmane.org/gmane.emacs.help:27872
From: Heow Eide-Goodman To: "lisp@lispnyc.org" Please join us for our next meeting on Tuesday, July 12th from 7:00 to 9:00 at Trinity Lutheran Church. In last month's talk, we heard how Lisp is based upon certain ideas from the foundations of the Lambda Calculus branch of mathematics. In this month's talk, Raymond Puzio will consider how Lisp can repay this debt to mathematics: Lisp is the language of mathematics - but many people don't realize that! The Hyperreal Dictionary of Mathematics seeks to fulfill Lisp's mathematical promise, and greatly expand the usability and accessibility of mathematics for everyone. The core of this project is a comprehensive dictionary of mathematical knowledge in a formal language inspired by Lisp which will represent mathematical concepts formally at a higher level than symbolic logic and is comprehensible to both humans and machines. To make sure that this language will indeed be capable of express any precise mathematical idea that can be expressed in mathematical notation, we have examined examples of mathematical proofs and definitions and studied the theoretical underpinnings of mathematical notation. Since few mathematicians are willing to adapt a new system of notation, no matter how well thought out, we are also writing programs to translate between our formalism and conventional mathematical notation. In the future, we also hope to include natural language processing so that the program will be able to understand the mathematical litearture and produce output in a user friendly form. Simply translating a body of mathematics into a new formalism is relatively uninteresting by itself; one also need to do something with it. To that end, we are working on programs which will perform such tasks as translate between different notations and verify mathematical proofs for correctness. In particular, we are working on an approach to proof checking which treats logical and non-logical operations on an equal footing and views proofs as analogous to programs. We believe that this approach is well suited to implementation in Lisp and captures the way mathematicians concieve of proofs better than an approach based upon reducing everything to formal logic. This talk will be of interest to mathematicians, metamathematicians, and lispers, and especially interesting to those who find themselves in the intersection of these two sets. Only a basic acquaintence with Lisp and the foundations of mathematics is necessary in order to understand this talk. Raymond Puzio first encountered Lisp one Saturday on 116th street as a high-school student in a weekend enrichment program offered at Columbia University; it was love at first byte and his enthusiasm for Lisp has not waned since, but the relation has deepened with his appreciation of the subtle beauties of logic and metamathematics. This program led him to enroll as an undergraduate in Columbia where he majored in physics with a concentration in mathematics. He then went on to Yale for graduate studies in physics, leading to a doctorate in the subject of general relativity and quantum gravity and was a post-doctoral scholar in the Centre for Gravitational Physics and Geometry at Pennsylvania State University. After some time in exotic places like Mississippi and Memphis, he is now back in the New York metro area. He has taken an interest in projects such as Planet Math, Asteroid Meta, and the Hyperreal Dictionary of Mathematics which aim to make mathematical knowledge generally accessible in digital form and build software tools which will help mathematicians. He has authored more than 200 entries for the Planet Math encyclopaedia and is also involved in other aspects of the project. Raymond is collaborating with Joe Corneli on the ambitous Hyperreal Dictionary of Mathematics project and contributes regularly to Asteroid Meta, which serves as a focal point for coordinating work on these projects as well as exploring their theoretical foundations and cultural implications. Resources: http://planetmath.org/ http://planetx.cc.vt.edu/AsteroidMeta/The_Hyperreal_Dictionary_of_Mathematics Directions to Trinity: Trinity Lutheran 602 E. 9th St. & Ave B., on Thomkins Square Park http://trinitylowereastside.org/ From N,R,Q,W (8th Street NYU Stop) and the 4,5 (Astor Street Stop): Walk East 4 blocks on St. Marks, cross Thomkins Square Park. From F&V (2nd Ave Stop): Walk E one or two blocks, turn north for 8 short blocks From L (1st Ave Stop): Walk E one block, turn sounth for 5 short blocks The M9 bus line drops you off at the doorstep and the M15 is near get off on St. Marks & 1st) To get there by car, take the FDR (East River Drive) to Houston then go NW till you're at 9th & B. Week-night parking isn't bad at all, but if you're paranoid about your Caddy or in a hurry, there is a parking garage on 9th between 1st and 3rd Ave. _______________________________________________ Lisp mailing list Lisp@lispnyc.org http://www.lispnyc.org/mailman/listinfo.cgi/lisp
Distributed poC TINC: Jay Sulzberger Corresponding Secretary LXNY LXNY is New York's Free Computing Organization. http://www.lxny.org