News for hackers. Stuff that matters.
Re:The weird and wonderful world of constructive mathematics... by Koshkin on Friday November 09, 2018 @01:07PM (#18416446)
Indeed, numbers are abstractions. Even the number ‘5’ is an abstraction, let alone the numbers that cannot even be measured precisely - not even in principle.

>idea about a circle

As if a circle is a real thing. (Circles do not exist, either - or, rather, they ‘exist’ in a very particular sense of the word, as they are themselves abstractions; round things do.)

Re:The weird and wonderful world of constructive mathematics... by sevensor on Friday November 09, 2018 @02:19PM (#18417084)
> As if a circle is a real thing. (Circles do not exist, either - or, rather, they ‘exist’ in a very particular sense of the word, as they are themselves abstractions; round things do.)

Well, yes, exactly. The thing that intrigues me about this discussion is that it seems like mathematicians have a much clearer idea than I do about what the differences between these kinds of abstractions are.