~ Esoteria Algorithm in Reverse Observatory

Cover Image

JavaScript 中的 Lambda 演算

序幕

判定性问题和可计算性

在形式化语言中,如何有效地接收并且验证一个命题的正确性?

邱奇 - 图灵猜想

邱奇 - 图灵猜想是一个关于可计算性理论的假设。该假设论述了关于函数特性的,可有效计算的函数值。简单来说,邱奇 - 图灵猜想认为「任何在算法上可计算的问题同样可由图灵机计算」。