News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.