Thanks to David Corfield
for this survey paper
(on foundational categorical topology) from the mathematician Paul Taylor
. Breaking my personal rule of mostly ignoring criticism of physicists from mathematicians, I put here the following gem of a quote.
Physics very probably relies on compactness of the interval, but I would be very sceptical if you told me that some property of black holes depends on excluded middle. Have you actually developed the analogous constructive theory, and found observational evidence to distinguish it from the classical one? This is, after all, what the experimental method says that you should do.