Core Concepts
平面折り紙はチューリング完全であることを証明した。
Abstract
この研究では、平面折り紙を使用して1次元セルオートマトンRule 110の振る舞いをエミュレートし、ユニバーサルチューリングマシンのタスクを実行できることが示されました。具体的には、論理ゲートや様々なガジェットを使用して、入力から出力までの論理演算が行われています。また、この方法を使用してチューリングマシンの計算を行うことが可能であることが示されています。ただし、実際に折り紙を使ってRule 110の複数行のインスタンスをシミュレートすることは非常に困難であり、専門家でも大変な作業です。この研究は、折り紙を使用した計算方法が実用的ではないことを強調しています。
Stats
平均14×7の基本セルパターン
ルール110に関連する3つの信号:X = A ∨ ¬B, Y = ¬B ∧ C, Z = B ∧ ¬C
Quotes
"平面折り紙はチューリング完全である"
"計算におけるフラットな折り紙は離散的に見られるべきであり、完全にフラットな状態だけが望ましい計算情報を提供する"