月別: 2021年1月
数学セミナー2021年2月号
特集◎逆数学
数学は公理から定理を証明するものと考えられるが，「逆数学」ではその逆に，定理の証明に必要な公理を調べる．今回は逆数学の基礎と，多様な分野との関わりを紹介する．
逆数学／数学基礎論の再興◎田中一之
逆数学のこころ／白黒ではなく色鮮やかに◎木原貴行
限定逆数学◎黒田 覚
アルゴリズム的ランダムネスと計算可能測度論◎宮部賢志
逆数学と無限ゲーム◎吉居啓輔
より強い公理を要請する解析学の存在定理◎横山啓太
複素解析学の基礎と逆数学◎堀畑佳宏
直観主義論理上の逆数学◎根元多佳子
京都大学ガロア祭／問題と解説◎伊藤哲也・荒野悠輝