博士論文発表会
過去の記録 ~05/01|次回の予定|今後の予定 05/02~
2025年01月23日(木)
11:00-12:15 数理科学研究科棟(駒場) 128号室
権 英哲 氏 (東京大学大学院数理科学研究科)
Games with backtracking options corresponding to the ordinal analysis of PA
(ペアノ算術の順序数解析に対応する、撤回を許したゲーム)
権 英哲 氏 (東京大学大学院数理科学研究科)
Games with backtracking options corresponding to the ordinal analysis of PA
(ペアノ算術の順序数解析に対応する、撤回を許したゲーム)