"Where did the '16' come fro..."

https://arbital.com/p/3xx

by Kevin Western May 30 2016


(5:3:2)cdot(2:1:5)cdot(12:10:1)\=(120:30:10)cong(12/16:3/16:1/16)

Where did the '16' come from in (12/16:3/16:1/16) ?


Comments

Eliezer Yudkowsky

It's 12 + 3 + 1. I'll edit to make clearer, but your comment exposed a bug in our LaTeX parsing so I'm waiting to edit until that resolves. :)