I put my 1992 paper on the E-print logic archive -- everyone is hereby encouraged to read ftp://ftp.math.ufl.edu/pub/logic/shipman/physcomp.txt and comment on it. It deals with the relationships between foundations of mathematics, foundations of physics, and foundations of computer science. -- Joe Shipman