次の通り、第10回論理と計算セミナーの開催します。皆様のご参加をお持ちしております。今回は、九産大の石田先生に会場のお世話をしていただきました。logicは、字義のごとく、端的には背理法が機能しない論理を指す。幾つかの基本的なロジックのモデル(Kripkeモデルなどの部分順序で抽象化したもの)からの拡大による新しいモデルの構成の際に、このような"多重整合性"を加味することで、より上層に位置する論理構造の持つ、そのような複数の整合性どうしの互いの不整合性(inconsistency)の議論を図る試みが為されている。その際の部分的な議論には、60年代、70年代の当時の日本の基礎論研究者の方々の成果を用いているようである。便宜的な意味での論理の圏の上で、大域的に行うこと、即ち、ある種の層化(sheafication)を目論むことで、複数の論理の局所的整合性が大域的に成立しないことの一つの傍証を得るための試みについて言及したい。別の観点から興味深いが、もし可能であればそれについても言及できればと考える。講演者は当該分野の専門家ではない。arithmeticの不整合性の証明がアナウンスされた(その直後、不備のため一時留保された)。そのような点を鑑みるまでもなく、現行の数学の中では自然数はその理論的側面の十分な斟酌は別として、かなり優遇されているといわれ、そのことが、ある種特殊な捉え方かもしれないが、例えば、Arakerov幾何での双有理幾何モデルの構成の困難を引き起こす一因ともいえるというのがある識者の意見でもある。十分な結果等には至っておらず、その経過報告として述べさせて頂く予定です。細胞が増殖、分化し、鎖状に繋がっていくモデルをリンデンマイアシステム上で構築した。発表では、限量記号消去法により導出された変数間の関係式と細胞タイプのパターンとの関係を報告したい。不明な点、質問などありましたら、井口までご連絡ください。