丘奇数

丘奇数成功的将计算这一个抽象的事物给抽象了，什么是计算？比如说：在一堆苹果里面再扔一个苹果，这里一堆苹果和一个苹果我们成功的用数字将其抽象化了，但是扔这个动作我们还没有抽象化，如果把扔这个动作进行抽象化，就是施加作用，即我们向一推苹果施加了作用，进而改变了一堆苹果的状态，这和计算不是一样吗？计算本质上是对一个数字施加作用，进而改变这个数字的状态，所以计算就是作用力的抽象化。

来源：https://www.cnblogs.com/mrzhu/p/11423566.html