4 ms·
> I think one of the greatest difficulties in completely automated mathematics would be the discovery of mostly those things which are interesting. But isn't '
by coherentpony 11y ago
> I think one of the greatest difficulties in completely automated mathematics would be the discovery of mostly those things which are interesting.
But isn't 'interest' subjective?
- theseatoms 11y agoIf your definition of subjective is "decided by humans", then yes. EDIT: "determined by" is probably more precise than "decided by" (determination is not necessarily conscious or explicit)
- JadeNB 11y ago> If your definition of subjective is "decided by humans", then yes. Presumably it means something more like "different (rational, honest, omnipotent) respondents might produce different answers."