A proof of the irrationality of $\protect\sqrt{2}$

Leslie Lamport

December 1, 1993


HTML version of a sample proof that uses Lamport's proof style [1], illustrating how structured proofs can be converted to HTML pages via LATEX2HTML enriched with extensions for Lamport's proof style.

Theorem There does not exist $r$ in Q such that $r^{2}=2$.

show proof


Leslie Lamport, 1993, How to write a proof. In Global Analysis of Modern Mathematics, pp. 311-321. Publish or Perish, Houston, Texas, February 1993. A symposium in honor of Richard Palais' sixtieth birthday (also published as SRC Research Report 94). http://research.microsoft.com/users/lamport/proofs/src94.ps.Z

About this document ...

A proof of the irrationality of $\protect\sqrt{2}$

This document was generated using the LaTeX2HTML translator Version 2K.1beta (1.56)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html ll1

The translation was initiated by Glowacki Martin / TU Wien Studenten Account Kopie on 2002-10-01

URL of this proof as currently expanded for referencing and bookmarking purposes.

This HTML file was generated using the pf2html extension, version 0.03.
LaTeX2HTML + pf.sty (hypertext proofs).

Project homepage at http://www.dbai.tuwien.ac.at/proj/pf2html

Glowacki Martin / TU Wien Studenten Account Kopie 2002-10-01