Michael Zedeler <mich...@zedeler.dk> writes:
> Moritz Lenz wrote:
>> Jon Lang wrote:
>>
>>> How do pred and succ work when given Complex values?
>>>
>> By adding/substracting 1 from the real part, I'd say. Don't know if that
>> actually makes sense.
>>
> It doesn't, because succ should always give the next, smallest possible
> element given some ordering relation. Neither does it make sense for
> real numbers. Same thing applies to pred.
And yet, you somehow manage to fit an infinite number of strings
between a string and its «successor» ...
Likewise, you could choose to define .succ for reals.
Eirik, for reals!
--
The price of success in philosophy is triviality.
-- C. Glymour.
