I'm not really a constructivist or finitist in a philosophical sense (and I'm only really a weak platoist just to start with), but they are such incredibly useful models when working with computers.
Like do you realize how powerful it is to be able to say that something is "not proved" rather than that it is "true" or "false"? How great it is to start from an assumption that a number may be large but not actually infinite?
Yes, this is me indirectly dissing #RDF why do you ask >_>
