Computers are finite - but we use an unbounded model for thinking about them - because it simplifies many things.