2005年度秋季総合分科会・総合講演と企画特別講演
総合講演
小野 薫(北大理) |
2005年度日本数学会賞秋季賞受賞記念講演 Symplectic幾何学におけるFloer理論 J-Stage 「シンプレクティック幾何学におけるFloer理論」(小野薫、数学 Vol.58 , No.2(2006)pp.113-132) |
---|---|
加藤和也(京大理) |
岩澤理論の発展 J-Stage |
企画特別講演
庄司俊明(名大多元数理) |
有限Chevalley 群の表現論と複素鏡映群 J-Stage |
---|---|
山田泰彦(神戸大理) |
可積分系と双有理変換 J-Stage |
Hyungju Park(KIAS) |
Methods of computational algebraic geometry in higher dimensional systems theory J-Stage |
Andreas Weiermann(Univ. of Utrecht) |
Phase transitions in logic and combinatorics 概要 A major theme in proof theory consists in classifying the proof strength of mathematical frameworks for reasoning about mathematics. The resulting phase transitions from provability to unprovability are interesting from the foundational as well as from the mathematical point of view. It is very surprising that during these investigations methods from analytic number theory, combinatorial probability theory, complex analysis and Ramsey theory enter the scene. In this abstract we present the underlying research program. We try to explain our intuition about the nature of phase transition results under discussion. It is our objective to show that there are intriguing interrelations between “usual” mathematics and proof theory. The abstract is intended to be accessible to a general mathematical audience. We therefore concentrate on basic examples and ideas without giving proofs. J-Stage |
栄伸一郎(九大数理) |
反応拡散方程式系におけるパルスの相互作用について J-Stage |
三松佳彦(中大理工) |
トポロジストが覗いてみた流体力学 J-Stage |
加藤幹雄(九州工大工) |
Geometry of Banach spaces and inequalities J-Stage |