Displaying 1 result from an estimated 1 matches for "axiomatisation".
Did you mean:
automatisation
2008 Oct 15
0
R-help Digest, Vol 67, Issue 31
...Stefan Evert wrote:
>
>>
>> ... am I the only one who thinks that the integer 7 is something
>> entirely different from the real number 7.0? (The latter most likely
>> being an equivalence class of sequences of rational numbers, but that
>> depends on your axiomatisation of real numbers.) Integers can be
>> embedded in the set of real numbers, but that doesn't make them the
>> same mathematically.
>>
>>
> Several people have tried to make that point (or something very
> similar), but it doesn't seem to take.
>
&g...