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.

翻译：独立性假设（IP）是一种有限形式的丘奇-图灵论题，它表明数学序列独立于物理序列。将观测建模为无限实数序列，IP 蕴含了异常的存在性。