Article View: comp.theory
Article #1707Re: Real Numbers vs. Rational Numbers?
From: Frank-Roland Boernke
Date: Sun, 03 Jan 1993 15:13
Date: Sun, 03 Jan 1993 15:13
28 lines
1527 bytes
1527 bytes
[... deleted ...] |> |> Calculate PI * PI. |> Answer: PI*PI. |> |> Since "PI*PI" is a finite representation of PI * PI from which one can |> algorithmically computer any of its digits in finite time, this counts as a |> valid answer. |> |> If you don't consider this valid, then neither will you consider this valid: |> |> Calculate: 2 / 5 |> Answer: 2/5. |> |> So then on that account, computers can't even work with fractions. I think there IS a difference: For 2/5 you can find a finite numeric representation ( 0.4 ) for PI or PI*PI you cannot! ------------------------------------------------------------------------- Frank Boerncke ,,, University of Passau - Germany boerncke@kirk.fmi.uni-passau.de (.~.) phone: +49 0851 2267 --------------------------------oOO--(_)--OOo---------------------------
Technical Details
Message-ID:
<1993Jan3.151347.29159@tom.rz.uni-passau.de>Path:
arc1-ca.pugleaf.net!sparky!uunet!math.fu-berlin.de!informatik.tu-muenchen.de!rz.uni-passau.de!kirk.fmi.uni-passau.de!boernckeReferences:
<1992Dec16.095412.19570@tom.rz.uni-passau.de> <1992Dec16.222628.27208@ringer.cs.utsa.edu> <1992Dec17.142150.7932@tom.rz.uni-passau.de> <1hi8dvINN5l2@uwm.edu>Show Full Headers
Complete Article Headers
Newsgroups: comp.theory Path: arc1-ca.pugleaf.net!sparky!uunet!math.fu-berlin.de!informatik.tu-muenchen.de!rz.uni-passau.de!kirk.fmi.uni-passau.de!boerncke From: boerncke@kirk.fmi.uni-passau.de (Frank-Roland Boernke) Subject: Re: Real Numbers vs. Rational Numbers? Message-ID: <1993Jan3.151347.29159@tom.rz.uni-passau.de> Sender: news@tom.rz.uni-passau.de (News-Operator) Organization: University of Passau, Germany References: <1992Dec16.095412.19570@tom.rz.uni-passau.de> <1992Dec16.222628.27208@ringer.cs.utsa.edu> <1992Dec17.142150.7932@tom.rz.uni-passau.de> <1hi8dvINN5l2@uwm.edu> Distribution: inet Date: Sun, 3 Jan 1993 15:13:47 GMT Lines: 29