introduce
什么是计算呢！什么问题是可以被计算的，而什么问题是不可以被计算的呢！本篇试图介绍一个关于可计算性的简要描述，在可预见的一两个月里，将持续更新！
history
begin
什么问题是可以被计算的，这是可计算性领域的最初的目的，但文字的描述是不准确的，为此需要对这个问题进行形式化，在这里，”问题”被形式化为一个”函数”，而”可被计算”被形式化为”程序”。最终，”什么问题是可以被计算的”变成了”哪些函数是可以写成程序”。当然，问题是否能够被形式化为函数，而可被计算是否能被形式化为程序，在这种形式化的过程中，有没有丢失一些东西，我认为是肯定的。我们暂且就接受这种形式化的方法。
question
可计算性的起源，形式化的正确性。