Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.1 6/24/83 (MC840302); site chalmers.UUCP Path: utzoo!watmath!clyde!burl!ulysses!unc!mcnc!philabs!cmcl2!seismo!mcvax!enea!chalmers!augustss From: augustss@chalmers.UUCP (Lennart Augustsson) Newsgroups: net.math Subject: Re: PI is irrational Message-ID: <147@chalmers.UUCP> Date: Tue, 18-Dec-84 23:41:49 EST Article-I.D.: chalmers.147 Posted: Tue Dec 18 23:41:49 1984 Date-Received: Fri, 21-Dec-84 01:47:16 EST References: <215@decwrl.UUCP> <17957@lanl.ARPA> Reply-To: augustss@chalmers.UUCP (Lennart augustsson) Distribution: net.math Organization: Dept. of CS, Chalmers, Sweden Lines: 13 [empty] PI was proved irrational by Johann Heinrich Lambert in 1767, and more rigorously by Adrien-Marie Legendre in 1794. PI was proved transcendental (i.e. non-algebraic, i.e. not the root of an algebraic equation with a finite number of terms, whose coefficients are rational) by F. Lindemann in 1882. -- Lennart Augustsson {seismo,philabs,decvax}!mcvax!enea!chalmers!augustss