計算の同一性の基準と素材の独立性

計算の同一性が、物理的システムの作動法則ではなく、抽象的な次元で同じ規則に従った同じ記号の操作かどうかで決まるのであれば、同じ計算は異なる素材の物理的システム上で実行できることが必然的に導かれる。