計算の素材独立性と思考する機械の推論

人間の知的活動は脳上の計算にほかならず、同じ計算は異なる素材の物理的システム上でも実行できるという二つの前提を認めれば、脳とは異なる素材のコンピュータ上で脳と同じ計算を実行させれば思考する機械が作り出せたことになるという結論は、必然的に導かれる。