計算の同一性の基準と思考機械の可能性

計算の同一性の判定基準（同じ規則に従った同じ記号の操作かどうか）だけからは、異なる素材のコンピュータで思考する機械が作れるという結論は導かれず、思考が計算にほかならないという前提が別に必要である。