運動はどんなにギクシャクしていても、連続的で途切れることがないというのが私たちの常識です。その運動変化の連続性、平たく言えば、スムーズな運動変化、途切れることのない、流れるような運動変化とはどのような変化なのでしょうか。変化に対する、この問いこそギリシャ以来多くの人が関心をもってきた謎でした。私たちの眼には運動変化は連続的な変化として映ります。どんな対象も連続的に位置を移動しているようにしか見えません。その変化の妙は時には美的な感動さえ引き起こします。私たちの適応は運動変化が連続していることを前提にしたものとしか言いようがないほどに、運動が連続的であることを生活や行動の基礎にしています。つまり、自然の変化は運動を基本にしており、その運動の基本的な特徴は連続性にある、これこそ人が経験的に獲得してきた疑い得ない想定となってきました。でも、この感覚的に明らかな特徴は、それを非感覚的に理解しようとすると厄介な事柄となるのです。命題の真偽が二値的であることが自明であるのと同じように、運動の連続性は疑いえない自明のものと考えられてきたのです。
自明としか見えない運動の連続性の本質を見極めようとすれば、どのようにすればよいのでしょうか。運動変化の表象装置として感覚知覚を使わない、別の装置が考案できれば、感覚的でない仕方で運動の連続性をより冷静に、別の視点から理解できることになる筈です。この見込みこそ、数学と物理学の関係を説明してくれる基本にあるものです。運動を感覚知覚的に表象するのではなく、数学的に表象することこそ二つの関係を築いてきたものなのです。運動を適確に表象する装置が幾何学であり、幾何学によって世界を非感覚的に描くということがギリシャ以来人類の採ってきた方法でした。
運動の表象装置としての幾何学は、運動を描くのに不可欠な時間や空間の表象を含んでいました。それが幾何学の解析化であり、それに伴い「無限」概念が重要な役割をもつようになりました。それまで避けられてきた「無限が物理世界に存在するかどうか」といった問いに正面から立ち向かわなければならなくなります。確かに、時空の存在と無限の関係は多くの人を惹きつける問いなのです。
点が連続的に並んでいることが線であることを認めるには、点が無限になければならず、これは連続性の背後に無限が横たわっていることを示しています。でも、無限はギリシャ時代には忌むべき概念でした。それがアリストテレスの「可能無限」という折衷的な概念になり、カントールの「実無限」概念が登場するまで解析学を支えてきたのです。
連続性の解明は実数の連続性（そして実数値関数の連続性、数学用語では「完備性」）として考察の対象となり、実数の解明は解析学の基礎として不可欠なものとなりました。実数を解明する研究者の一人であったカントールは、無限概念を実無限として解明しようとしました。その結果、実無限がどのような概念であり、その内容は連続体仮説（continuum hypothesis）の証明によって明らかにできたのでしょうか。
パルメニデスによれば、実無限と可能無限の区別はなく、二つは同じ無限で、完結した無限だけが意味をもっています。でも、アリストテレスは二つの無限を区別し、実無限の存在を否定します。「数が増えていく、減っていく…」といった変化する数の並びは認識上有効でも、数学的対象として無限を考えた場合、他の確定した数学的概念と自動的に組み合すことができなくなります。その意味で可能無限は曖昧です。可能無限は外延が曖昧な、反パルメニデス的概念であり、物理世界や心理世界の変化を数学世界にもち込んだようなものです。「完結した運動」だけが意味のある運動であると考える人は、完結した実無限だけが数学的に完結した意味をもつと考えるでしょう。でも、数学の直観主義者や構成主義者は変化する過程を変化し終えた結果として考えることに同意しません。確かに、変化の只中に身を置くなら、そこは排中律が成立しない、典型的な非決定論的世界となっています。
最も実数らしい性質が「連続性」であり、この性質のお陰で微積分が可能となり、それを使って私たちは自然を扱ってきました。[1]連続性を支える「限りなく近づく」ことのできる性質[2]が点と線の不思議な関係を基本にして成立しています。連続する時間や空間を表現する最も適した数学的対象として、実数は数学者の関心の的となってきました。
「点が集まると線ができ、線を分割していくと点に到る」という点と線の関係が実数における無限分割可能性という語のもつ意味を独特なものにしています。自然数の集まりも無限に分割できますが、自然数をすべて集めても線をつくることはできません。では、その自然数からどのようにして実数をつくり出すことができるのでしょうか。それを示すことが集合論の研究目標でした。この目標はいまだ実現できず、実数が自然数より高い濃度をもつことはわかりましたが、その濃度が自然数の濃度の次の濃度か否かは今の公理的集合論においては証明できません。[3]
実無限、可能無限という区別は一見重要な区別に見えます。[4]無限を扱う認識レベルではそうなのかも知れませんが、存在レベルでは大きな意味をもっていません。認識レベルの話とは別に、「集合」は実数のもつ無限性を明らかにできる基本的概念なのです。
「要素が集まると集合ができ、集合は要素に分解できる」
「点が集まると線ができ、線を分割していくと点に到る」
上の文は比べるまでもなく、類似したことを主張しています。点や線、そして実数のもつ基本性質は集合概念によって表現し直され、したがって、集合の基本性質から点や線、実数の性質が証明できることが保証されています。これが意味することは実に大きいのです。それは、
（1）集合論は古典的世界観を支える数学である、
ことを帰結します。と言うのも、実数を基礎付けるのが集合論であり、その実数によって表現されるのが古典的世界であるからです。特に、その時空は実数によって表現されています。古典的世界観の時空に関するアプリオリな前提は古典力学の時空に関する前提と同じであり、その前提は実数のもつ幾つかの性質そのものなのです。
（2）いつでも、どこでも対象とその状態が存在し、各状態の物理量の値は決まっている。
対象の性質で重要なのはその性質の内容であって、性質そのものではありません。人には体重があり、「体重とはどのような性質か」という問いと「君の体重は何か」という問いは同じではありません。君の体重が60kgであることが体重の具体的な内容であり、体重という性質そのものは通常は体重の定義において問題になるに過ぎません。対象の状態を定義する際には状態がどのような性質によって構成されているかが問題になりますが、対象の状態の内容こそが状態を決めるのに必要となるのです。状態の内容は位置や速度の具体的な数値で表現されます。
上の文の物理量の値を満たすように実数を使う際、実数のどのような性質を使うか考えると、時空の表現と状態の表現に使われる実数の性質は、実数そのものをそのまま使うことによって済まされてきました。というのも、実数を使えばすべてが同時に満たされ、実数の性質のうちのどれといったものではなかったからです。実数の数学的性質がいつも物理的に有意味だとは言えませんが、どんな数学的性質もいつかどこかで物理的に有意味になる可能性をもっています。運動の連続性は変化がすべて連続的ではない中で、運動がもつ特徴です。運動が起こる時間、空間が連続する中で、運動が不連続になるような状況があるでしょうか。古典力学は通常次のような仮定を認めています。
（3）連続する時空の中で対象が不連続に運動することは物理的に不可能である。[5]
運動する対象が不変、つまり、生成消滅しない場合、その対象の運動は不連続ではありません。というのも不連続な運動が起きるとすれば、対象は消えたり、現れたりしなければならなくなるからです。無論、数学的に不連続な運動を表す不連続な関数を考えることは数学的には十分有意味なことです。でも、そのような対象は物理世界には存在しません。
古典的世界観を支える（1）、（2）、（3）の前提は日常世界にしっかり浸透しています。それらを前提にすべき理由より、前提にしないといかに不自然で、非常識的な事態が生じるか考えてみる方がよいでしょう。そのように考えた場合、結果があまりに不自然、非常識だという理由から、三つの前提が正当化されたと誤って考えないように注意すべきです。
運動の表現に実数を用いるということ自体が三つの前提を認めることを帰結します。「時間と空間の量子化」という表現は時間や空間を物質の原子論と同じように考えようということを意図しており、正に「時間と空間の原子論」です。すると、すぐに実数が不都合な装置であることがわかります。実数をそのまま使ったのでは原子論の主張と両立しないからです。そこで点ではなく区間で時間や空間の最小単位を考えるといった工夫が必要となってきます。区間を最小の単位にした場合、対象の運動はどのようになるのか、どのようにそれが表現できるのかという二つの異なる問題が出てきます。前者は物理学の問題であり、後者は言語、つまりは数学の問題です。
[1] 数学では常識的な連続性を完備性（completeness）と呼び、関数について連続性（continuity）という用語が使われます。
[2] 収束は「限りなく近い」点の存在によって定義され、いわゆるε-δ方式によって教えられてきました。
[3] これが連続体仮説が公理的な集合論から独立しているということであり、ゲーデルとコーエンの結果です。
[4] アリストテレスやカントが二つの無限概念を区別し、直観主義にも大きな影響を与えたと言われていますが、「無限の対象を含む集合を考えることができたら、そこから何が見えてくるか」という問いを優先したのが20世紀の大勢であり、その姿勢が集合論を生み出すことになりました。そこでは「完結した無限」が集合と考えられ、「生成途上にある無限」は集合とさえみなされません。したがって、運動に関しても同じように完結した運動を対象にすることになります。
[5] 不連続は純粋に（数学的に）不連続と擬似的に（経験的に）不連続の二つに分けられそうです。単なるストップモーションと、時間、位置の断絶は異なっています。
