Pretty much the most interesting blog on the Internet.— Prof. Steven Landsburg

Once you get past the title, and the subtitle, and the equations, and the foreign quotes, and the computer code, and the various hapax legomena, a solid 50% English content!—The Proprietor

Thursday, October 1, 2015

A Genuine Mystery

savannah

Update October 3, 2015: See A Partial Explanation for a Genuine Mystery.

Perhaps the greatest mystery in the world is based on the following set of observations:

  • The human brain is a device evolved to optimize the long-term reproductive success of the associated genes in the environment of the African Savannah.
  • Yet, in at least some instances it has developed the capacity to come up with ideas like Curry-Howard Correspondence.
  • However, this capacity could in no conceivable way have aided reproductive success in the African Savannah.
  • Moreover, at least to judge from historical anecdote, this capacity, if anything, impedes reproductive success.

The author has never run across a fully satisfactory explanation for this set of facts. It is almost enough to make one reconsider certain propositions one would otherwise (and previously had) happily and confidently Occam-razored away.