本日の午前は lecture series, 午後はチェコ組のファジイ数学案内
Real and Ideal Enitities in a Minimalist Constructive Foundation (2) (Giovanni Sambin)
シリーズ二日目、今日は構成的数学のminimal な枠組で実際の数学(特に位相空間論)が展開できることを実証するのが目的。
Infinitesimal Calculus Based on a Fuzzy notion of Infinitesimal (Libor Behounek)
超準解析をファジイ集合論の枠組みで自然に展開できるというお話。超準解析学における「超準元」は「限りなく近い」ことを表すので、ある実数の近傍族をファジイ集合として定義しておき、「近さ」を
(Cは集合族に属する集合)として定義すれば、「近さ」をファジイ真理値で表現できるため、「限りなく近づく」と言うイメージをファジイに表現できる。つまり、
という感じに、ファジイに「近さ」を表現するわけです。