@misc{shipman1997aspects, title={Aspects of Computability in Physics}, author={Joseph Shipman}, year={1997}, eprint={math/9711204}, archivePrefix={arXiv}, primaryClass={math.LO}, url={https://arxiv.org/abs/math/9711204} }