現代論理学とも, 数理論理学とも呼ばれる数学基礎論は, 19世紀末に現れた数学の危機を救うために生まれた数学理論であり, 計算機科学がこの数学基礎論から派生したことはよく知られているが, 近年になって, 科学のもっとも基本的な問題にいくつかの応用が発見されるようになった. ノンスタンダード・アナリシスは, 数学基礎論のモデル論の応用として生まれ, 無限小概念の合理化というライプニッツ以来の問題を解決することに成功した. 無限小の合理化は, 単に微分積分学の書き直しにとどまらない, 奥行きの深いものであって, 新しい自然記述の方法を我々に解放したように思われる. 論理学と物理学の間に生まれつつある, この新しい接点を探ってみたい.
抄録全体を表示