A List Apart has a great article that attempts to quantitatively define what a fun interface is. Check it out. The article is a bit broader than just gamification and takes things from a design process perspective