News for hackers. Stuff that matters.

A comment on Post-human mathematics. Parent comment

Re:Post-human mathematics by JadeNB on Monday November 23, 2015 @06:13PM (#10618034)
Your condition `f(F) = 1` doesn't seem to do anything to distinguish your meta-theorem `F` from any other interesting theorem.
[ Parent | on HN ]

There are no comments on this comment yet.