
Curios:
Curios Search:
Participate: 
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 leftassociated formulas in Michael O'Connor's "An Interesting Puzzle in Propositional Logic." [Post]
Submitted: 20091010 18:06:34; Last Modified: 20091010 20:14:04.
Prime Curios! © 20002018 (all rights
reserved)
