数学基礎論シンポジウム02 - 名古屋
SYMPOSIUM ON MATHEMATICAL LOGIC 02 - NAGOYA

　標記の研究集会を下記のように催しました。

日時:　2002年11月2日（土）13:30〜 11月4日（月）12:40


場所:　名古屋大学情報文化学部棟4階, 第3, 4講義室
 
　　　http://www.nagoya-u.ac.jp から場所を御確認願います。


内容：　　　　数学基礎論の各研究分野の最近の動向等についてのサーベイ的
　　　　　　　な講演、および、各研究者の研究発表の2つの範疇での研究集会

報告集：　こちら　

招待講演者：

  渕野昌(中部大, 集合論),  A Survey on recent developments around Forcing Axioms
  板井昌典(東海大, モデル論), ところでVaught予想はどうなった ? ( abstract )
  角田譲(神戸大, 抽象設計論), 情報の流れと抽象設計論
  Tomasz Kowalski(Jaist, 代数と論理), Algebraic Logic: a Survey
  佐々木克巳(南山大, 非古典論理), Provability and interpretability logics ( abstract )
  山下秀康(愛知学院大, 超準解析), Nonstandard smooth path integrals and differential geometry (abstract )
  山崎武(大阪府立大, 逆数学), 逆数学とその周辺 （abstract ）


プログラム： pdfファイルはこちら

  11月2日（土）
 
  13:30〜14:30 　渕　野　昌 (中部大・ 集合論)
  　　　　　A Survey on recent developments around Forcing Axioms
 
  14:40〜15:40 　板　井　昌　典 (東海大・ モデル論)
   　　　　　　　ところでVaught予想はどうなった ? ( abstract )
 
  15:50〜16:35　新　田　貴　士 (三重大）・岡　田　朋　子（名古屋大）
  　　　　　Classification of non-well-founded sets and an application  ( abstract )
 
  16:35〜17:05　久　馬　栄　道（愛知学院大）
  　　　　　　　NP完全問題を解く決定性アルゴリズム
 
 
  11月3日（日）
 
  10:00〜10:45　西　村　泰　一（筑波大）
  　　　　　　　無限小の代数学 (abstract )
 
  10:55〜12:25　山　下　秀　康(愛知学院大・超準解析)
   　　　　Nonstandard smooth path integrals and differential geometry ( abstract )
 
  14:00〜14:45 　新　田　貴　士(三重大）・岡　田　朋　子（名古屋大）
   　　　　Nonstandard Fourier transformation and Feynman path integral  ( abstract )
 
  14:55〜15:55　 Tomasz 　Kowalski (Jaist・代数と論理)
  　　　　　　 　Algebraic Logic: a Survey
 
  16:05〜17:05 　佐　々　木　克　巳 (南山大・非古典論理)
   　　　　　　　Provability and interpretability logics ( abstract )
 
  ( 懇　　　親　　　会 )
 

  11月4日（月）
 
  10:30〜11:30 　山　崎　武 (大阪府立大・逆数学)
   　　　　　　　　逆数学とその周辺 （ abstract ）
 
  11:40〜12:40 　角　田　譲 (神戸大・抽象設計論)
  　　　　　　　　情報の流れと抽象設計論　


問い合わせ：　宮元忠敏
　　　　　　 〒4668673  名古屋市昭和区山里町18番
　　　　　　 南山大学、数学
　　　　　　 052-832-3111(代)
　　　　　　　miyamoto@nanzan-u.ac.jp

------------------------
2003.6.4更新
sasaki@ms.nanzan-u.ac.jp