stockの休日:グリーンラベル このページをアンテナに追加 RSSフィード

[市場へ]

2009年10月31日[土] #   数学基礎論講演会:ゲーデルの不完全性定理

数学基礎論講演会:ゲーデル不完全性定理 数学基礎論講演会:ゲーデルの不完全性定理 - stockの休日:グリーンラベル を含むブックマーク

講師:田中一之 (東北大学大学院理学研究数学専攻教授

題目:ゲーデル不完全性定理

内容:ゲーデル定理はどこまで自己言及的か? 本質的決定不能性と証明の加速性,新しい独立証明など,ゲーデル以降の発展のポイントを概観,また不完全性定理誤用例にも触れる.

日時:10月31日(土) 午後3時~4時

会場:東京工業大学大岡山キャンパス 西8号館 E棟10階情報理工学研究科 大会議

http://feel.g.hatena.ne.jp/files/feel/e860fc4ff174f5e9.gif

.
Error : RSSが取得できませんでした。
ページランク. .
关键字 TL