Bilgisayara ne kadar biçimsel ilke koyarsanız koyun, bunlar anlamak için yeterli olmayacaktır; çünkü bir insan bu biçimsel ilkeleri hiçbir şey anlamadan da izleyebilir.