全学共通科目講義(1回生〜4回生対象)
|
現代の数学と数理解析 |
―― 基礎概念とその諸科学への広がり |
| |
日時: | 2015年4月24日(金) 16:30−18:00 |
場所: | 数理解析研究所 420号室 |
講師: | 照井 一成 准教授 |
題目: |
計算よ停まれ!無限の向こう側から有限を証明する
|
要約: |
一定の規則に従って進行する計算がきちんと停止することを示したい。
この問題は、数学基礎論では
不完全性を巡るゲーデルとゲンツェンの攻防として顕れ、
コンピュータ科学では
ソフトウェア検証の一段階として実用上重要である。 本講義では、集合論に由来する超限順序数をツールとし、 ヒドラゲーム等の具体例を題材にして、いかにして計算の停止を 証明するかを解説する。 数学基礎論・コンピュータ科学との関わり合いについても言及したい。 参考文献:
|
"http://www.kurims.kyoto-u.ac.jp/ja/special-02.html" |