This paper explores the properties that we can reasoaly ascribe to real computers that we use every day (2015). It is not a survey of all the possile (or theoretical) ways we might build computers ut rather