On Thu, Apr 04, 2013 at 11:02:34AM +0000, Johannes Waldmann wrote: > My feeling is that mathematicians use this principle of leaving out > some of the quantifiers and putting some others in the wrong place > as a cultural entry barrier to protect their field from newbies.
Albert showed an example of leaving out quantifiers, but I didn't see an example of quantifiers in the wrong place. Did I miss one? Tom _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe