Three forms of physical measurement and their computability - Edwin Beggs (The Review of Symbolic Logic, 2014)