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

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)