[l2h] Structured Proofs
Thu, 17 Oct 2002 22:17:43 -0400
This is a multi-part message in MIME format.
Content-Type: text/plain; charset=us-ascii
A few years ago, Leslie Lamport (yes, the Godfather of LaTeX) proposed,
in an article in the American
Mathematical Monthly, a way of writing a mathematical proof in a
recursive style with required facts
used in the proof themselves proven in the same format, and so on. He
even suggested that a hyperlink
system would be the preferred presentation technology, as the deeper
details of a proof could remain hidden
until requested by the user by clicking on a fact to see its proof.
As a moderately computer-literate student of mathematics, I am wondering
if anyone has implemented
such a system as an enhancement to latex2html. I am contemplating doing
this, but I would be just as
happy to learn that such a working system is already available.
Has anyone implemented or seen anything like this?
100 Diplomat Drive, Apt. 6F
Mount Kisco, NY 10549
Content-Type: text/x-vcard; charset=us-ascii;
Content-Description: Card for George Leibman
adr:;;100 Diplomat Drive Apt 6F;Mount Kisco;NY;10549;USA