  The Independence Postulate (IP) is a finitary Church-Turing Thesis, saying
mathematical sequences are independent from physical ones. Modelling
observations as infinite sequences of real numbers, IP implies the existence of
anomalies.
