[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] Cycle detection problems: #442, #338, "equal?"
On Fri, 31 Aug 2012 11:21:18 -0400, John Cowan <cowan@x> said:
> John Boyle scripsit:
> ...
>> Actually, come to think of it, there is one fact about equal? that is true
>> for all non-cyclic structures that isn't true under unfolding: if (equal? a
>> b), then not (equal? (cons <something> a) b).
> That's just a way of encoding the paradoxical fact that one plus infinity
> is still equal to infinity.
Though "equal" in the previous sentence does not refer to the
(usual) equality relation between numbers (but to a different
relation). Infinity is a funny thing...
---Vassil.
--
Vassil Nikolov | Васил Николов | <vnikolov@x>
"Be careful how you fix what you don't understand." (Brooks 2010, 185)
_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
- References:
- [Scheme-reports] Cycle detection problems: #442, #338, "equal?"
- From: "David A. Wheeler" <dwheeler@x>
- Re: [Scheme-reports] Cycle detection problems: #442, #338, "equal?"
- From: Alex Shinn <alexshinn@x>
- Re: [Scheme-reports] Cycle detection problems: #442, #338, "equal?"
- From: "David A. Wheeler" <dwheeler@x>
- Re: [Scheme-reports] Cycle detection problems: #442, #338, "equal?"
- From: John Cowan <cowan@x>
- Re: [Scheme-reports] Cycle detection problems: #442, #338, "equal?"
- From: "David A. Wheeler" <dwheeler@x>
- Re: [Scheme-reports] Cycle detection problems: #442, #338, "equal?"
- From: Ray Dillinger <bear@x>
- Re: [Scheme-reports] Cycle detection problems: #442, #338, "equal?"
- From: Ray Dillinger <bear@x>
- Re: [Scheme-reports] Cycle detection problems: #442, #338, "equal?"
- From: John Boyle <johnthescavenger@x>
- Re: [Scheme-reports] Cycle detection problems: #442, #338, "equal?"
- From: John Cowan <cowan@x>