The book is now available! 83
(another Prime Pages' Curiosity)
Prime Curios!
Curios: Curios Search:
 

Participate:
Share
Single Curio View:   (Seek other curios for this number)

 

The smallest prime exponent in the size of the free cartesian closed category over 3 objects. 3^83 is thus an upper bound on the number of left-associated formulas in Michael O'Connor's "An Interesting Puzzle in Propositional Logic." [Post]

 

  Submitted: 2009-10-10 18:06:34;   Last Modified: 2009-10-10 20:14:04.



Prime Curios! © 2000-2017 (all rights reserved)