I would be interested to hear the thoughts of @johncarlosbaez to the points stated in the thread above, including the question in the OP.@mcc@futurebird