Date: Wed, 10 Nov 2010 06:01:02 +0100 From: Julian Fagir <gnrp@physik.tu-berlin.de> To: freebsd-questions@freebsd.org Subject: Re: how to generate pi in c Message-ID: <20101110060102.3509f1ae@eselhitler> In-Reply-To: <20101108182717.M66572@sola.nimnet.asn.au> References: <20101106120033.CB14610656D7@hub.freebsd.org> <20101108182717.M66572@sola.nimnet.asn.au>
next in thread | previous in thread | raw e-mail | index | archive | help
--Sig_/YfBX+e=jdxmcjNznKj_69Xw Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Hi, just to get more off-topic... ;-) On Mon, 8 Nov 2010 20:01:19 +1100 (EST) Ian Smith <smithi@nimnet.asn.au> wrote: > And while a square enclosing a circle, it's hardly squaring the circle:=20 > http://en.wikipedia.org/wiki/Squaring_the_circle .. but an interesting=20 > read nonetheless for unrequited seekers of pi-foo :) In our case, it is as possible/exact as computing pi. When computing pi, you resolve to the same problem as you have when 'squaring' a circle: Transcendental numbers over the given field. Just having rational numbers, you can just approximate pi, and as a human or computer, one doesn't have the power to imagine pi or give it an exact valu= e. And I don't know, but doubt there's someone who can imagine anything else t= han rational or at least over Q algebraic numbers. The same with the squared circle: You can approximate it, but over the the field of the constructible numbers, the length is transcendental, so you cannot exactly draw it without further assumptions. Regards, Julian --Sig_/YfBX+e=jdxmcjNznKj_69Xw Content-Type: application/pgp-signature; name=signature.asc Content-Disposition: attachment; filename=signature.asc -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkzaJw8ACgkQFV4nWcOPv/APZwCfYVatUMk0U7P2aMOR2WngryNw hLcAn1VQ9/sBGNYNC6HW8oJZVnUXuYrl =eM1M -----END PGP SIGNATURE----- --Sig_/YfBX+e=jdxmcjNznKj_69Xw--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20101110060102.3509f1ae>