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

翻译：独立性公设（Independence Postulate, IP）是有限形式的丘奇-图灵论题，它表明数学序列与物理序列相互独立。IP蕴含了异常的存在。