11/01/15 21:27:55
>>46
スキームは局所環付きの空間のことですが、
これを理解するには可換環論と圏論についてある程度詳しくないとなりません。
プログラミング言語のLispの方は数学構造に近い記述方法ができるため、
チャイティンというアメリカの数学者によって
不完全性定理の証明に用いられたことがあります。
チャイティン定数Ωなど、数理論理学・計算量理論上興味深い話題は
ありますが、日本の数学界からは相手にされていません。
このあたりの話題は情報工学の47氏の方が明るいのではないでしょうか。