News for hackers. Stuff that matters.

A comment on Post-human mathematics. Parent comment

Re:Post-human mathematics by coherentpony on Monday November 23, 2015 @03:10PM (#10616961)
> 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?

[ Parent | on HN ]
Re:Post-human mathematics by theseatoms on Monday November 23, 2015 @03:19PM (#10617033)
If 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)

[ Parent | on HN ]
Re:Post-human mathematics by JadeNB on Monday November 23, 2015 @06:17PM (#10618056)
> 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."

[ Parent | on HN ]