折り紙公理について調べていると「折り紙公理が完全であることを示した」という表現に出会うことがあります。この「完全」という言葉は、数学基礎論で使われる一階述語論理の完全性と同じ意味なのか、それとも別の意味なのか疑問に感じる人も多いでしょう。この記事では、折り紙公理における完全性とは何を指しているのか、論理学における完全性との違いを整理しながら解説します。
折り紙公理とは何か
折り紙公理とは、紙を折る操作を数学的に記述するための公理体系です。代表的なものとして、折り紙によって可能な操作を7つの公理としてまとめた藤田幹夫の折り紙公理があります。
例えば、「2点を通る折り目を作る」「ある点を別の点に重ねるように折る」「ある直線に対して垂直な折り目を作る」といった操作が数学的な条件として表現されています。
これらの公理を出発点として図形を構成していくと、通常の定規とコンパスによる作図とは異なる数学的世界を扱うことができます。特に折り紙では、三次方程式の解を作図できるなど、古典的な作図より強力な能力を持っています。
折り紙公理における「完全性」の意味
折り紙公理が完全であるという場合、一般的には「折り紙で実現可能なすべての基本的な折り操作が、その公理によって表現できる」という意味で使われます。
つまり、折り紙を使ってできる操作を数学的に分類したとき、その操作を記述するために必要な公理が不足していないということです。公理体系が折り紙作図の範囲を十分に説明できる、という意味での完全性です。
これは「この公理からあらゆる数学的真理が証明できる」という意味ではありません。折り紙公理についての完全性は、対象としている図形操作の体系に対しての完全性です。
一階述語論理の完全性とは何が違うのか
一階述語論理でいう完全性とは、ゲーデルの完全性定理に関係する概念です。これは「論理体系で意味的に正しい命題は、必ずその体系の証明によって導ける」という性質を指します。
簡単に言えば、モデル上で真である論理式と、形式的な証明で導ける論理式が一致するということです。これは論理そのものの性質について述べています。
一方、折り紙公理の完全性は、特定の数学的対象である「折り紙による作図操作」をどれだけ正確に記述できるかという問題です。対象も意味も異なるため、同じ「完全」という言葉でも内容は別物です。
数学で使われる「完全」という言葉には複数の意味がある
数学では「完全」という言葉が分野によって異なる意味で使われます。例えば、論理学では証明可能性と真理の対応を意味し、解析学では完全距離空間のような性質を表すことがあります。
そのため、「完全」という単語だけを見て、一階述語論理の完全性と同じものだと考えることはできません。必ず、その言葉がどの対象について述べられているのかを確認する必要があります。
例えば、「整数の性質を説明する公理体系が完全である」という場合と、「ある図形操作を説明する公理体系が完全である」という場合では、評価している基準が異なります。
折り紙公理の完全性が重要な理由
折り紙公理の完全性が研究される理由は、折り紙による作図能力を数学的に明確化できるからです。単なる経験的な折り方ではなく、どの操作が可能でどの操作が不可能なのかを理論的に調べることができます。
例えば、定規とコンパスでは一般的に三次方程式を解く作図はできません。しかし折り紙では、特定の折り操作によって三次方程式の解に対応する点を作ることができます。
このように、公理体系が対象となる操作を正しく記述できることは、その分野の数学を整理し発展させる上で重要な役割を持っています。
まとめ｜折り紙公理の完全性は論理学の完全性とは別の概念
「折り紙公理が完全である」という表現は、一階述語論理の完全性定理のような「すべての真理を証明できる」という意味ではありません。
折り紙公理の場合は、折り紙によって可能な基本的な作図操作を、その公理体系が過不足なく表現できるという意味で使われています。
数学では同じ「完全」という言葉でも、対象によって意味が変わります。折り紙公理を理解するときは、論理体系の完全性ではなく、作図操作の体系としての完全性を考えることがポイントになります。
コメント