[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: My ideas about infinity in Scheme (revised)

This page is part of the web mail archives of SRFI 70 from before July 7th, 2015. The new archives for SRFI 70 contain all messages, not just those from before July 7th, 2015.

On Thursday 19 May 2005 19:28, Chongkai Zhu wrote:
> 1. We need both exact (rational) infinity and inexact infinity, that is,
> four special numbers:
> 1/0 -1/0 +inf.0 -inf.0
> The first two are rational and thus exact.

But computational infinities are not really numbers.  They are special markers 
for places where limits of the number system are exceeded.  Being outside the 
system, they can't be exact.  It is like talking about the duration of events 
outside of space/time.  There is no symmetry.

We speak of 1/0, 0/0, -1/0 as numbers in the same way we speak of '() as the 
end of a list or #!eof as the end of a file.  They are singleton limit 
markers with no value but for computational tests.

BTW, as markers I would expect
 (eq? 1/0 1/0) -> #t