これの意味がわからんのだけどどういうこと？２次元以上だと単射と可逆が関係ないのか？

＞ 2次元以上のセル・オートマトンについては、任意のルールの可逆性は判定不能であることが証明されている。

http://ja.wikipedia.org/wiki/%E3%82%BB%E3%83%AB%E3%83%BB%E3%82%AA%E3%83%BC%E3%83%88%E3%83%9E%E3%83%88%E3%83%B3
可逆型セル・オートマトン

現在状態から1つ前の状態（プレイメージ）が一意に求められるセル・オートマトンを「可逆的; reversible」であるという。
セル・オートマトンを状態から状態への関数と考えると、可逆性はその関数が全単射であることを意味する。
1次元のセル・オートマトンについては、プレイメージを探すアルゴリズムが知られていて、各ルールについて可逆的かそうでないかは既に判明している。
2次元以上のセル・オートマトンについては、任意のルールの可逆性は判定不能であることが証明されている。
Jarkko Kari による証明は、ワンのタイルのタイル並べ問題と関連している。