@greg_ashman enjoyed our discussion and disagreement yesterday. If you were interested would be happy to chat further in a venue that permits more nuance.
Next Thursday I will be talking about moving mathematics in and out of the physical world at the Illustrating Mathematics Seminar. illustratingmath.org/node/42