《理系ネタ》ゴミのほじくりかえし

　確率論や「パンセ」で有名なパスカルは狂信的なカトリック教徒であったといわれ、彼が数学を志した目的は神の存在を証明することであったそうです。で、パスカルが最終的に行った証明というのが、「神には全ての属性が存在する。その属性には存在性も含まれる。ゆえに神は存在する。」であったとか。
　数学の世界に厳密な証明が賦されるようになったのは、実にガウス以降であると数学史は語っております。
　数学モデルと言えば、現在最先端の数理論理学にスペンサー／ブラウンの「形式の代数学」とかいうのがあって、社会学や心理学のモデリングへの応用が進められているそうです。この理論は従来0と1の2値しかない数理論理学（ブール代数）を拡張し、論理値の解として無理数どころが虚数値まで持たせるという不気味な世界だそうです。例えば、論理値ルート2があるダイナミックな状態を表すとか。
　現代数学というシロモノはライプニッツの昔に比べて格段に表現手段を増やしています。もとより、数学が万能だと主張する気は毛頭ありませんが、少なくとも数学的にモデル化された高度なコミュニケーション手段ができても不思議ではないような気がします。