Space constructibility presupposes a background computational model, yet the choice of model (Turing...