Prime Curios!: 83

83
(another Prime Pages' Curiosity)

Curios:

Index
Keywords
Home
Glossary
The book!
Previous
Next
Random

Curios Search:
Participate:

Mail Editor
Submit Curio
Prime Puzzio
Test Number

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.