丘奇-图灵论题

丘奇-图灵论题（Church-Turing thesis）是2018年公布的计算机科学技术名词，出自《计算机科学技术名词 》第三版。可计算性理论的基本论题：一个函数是可计算的当且仅当可由一部图灵机来计算它。