Mathematics is hard to generate and easy to verify. Philosophy is easy to generate and hard to verify.
Replying to @MemberOfSpecies
@MemberOfSpecies @UnitOfSelection Devil’s advocacy: trivial to recursively enumerate true theorems; mechanical proof-checking extremely hard
8:20 PM - 2 Feb 2015
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.