https://www.researchgate.net/publication/352165875_gonglidejihelunrumen 今回のアップデートは, BGE の定式化に於いて, s を重み n の c, = 以外の述語記号, x_1, ・・・, x_n を term とする時, sx_1・・・x_n が formula になるという点です. 以前は x…

書きました. 目次を探せば載ってます. https://www.researchgate.net/publication/352165875_gonglidejihelunrumen

https://www.researchgate.net/publication/352165875_gonglidejihelunrumen 上記 pdf にて更新しました. 更新箇所は, pdf の p.175 で, D-BGE の term の定義の部分の [3] です. 更新前は, A(x) には何も条件を課していませんでしたが, 更新後は A(x) には,…

下記の公理的集合論研究書の pdf にて定式化しました. https://www.researchgate.net/publication/352165875_gonglidejihelunrumen

今回は, ブルバキ『数学原論 積分 3』p.50, 定義 3 の直前の段落について, 反例を与える. 問題になるのは, K, L が 局所コンパクトハウスドルフ空間 T のコンパクト部分集合で, R_K, R_L が共に分離同値関係になる場合であっても, R_{K∪L} が必ずしも分離に…

僕は仕事であれ勉強であれ、指導を受ける時に怒鳴られたり怒られたりすると、 インプットもアウトプットもできなくなります。 怒鳴る・怒るは生理的に受け付けないし、 恐怖心が先に立ってしまうからです。 僕に指導をする人は、紳士的に、冷静に、なおかつ…