月別: 2021年1月

数学セミナー2021年2月号

特集◎逆数学

数学は公理から定理を証明するものと考えられるが,「逆数学」ではその逆に,定理の証明に必要な公理を調べる.今回は逆数学の基礎と,多様な分野との関わりを紹介する.

逆数学/数学基礎論の再興◎田中一之

逆数学のこころ/白黒ではなく色鮮やかに◎木原貴行

限定逆数学◎黒田 覚

アルゴリズム的ランダムネスと計算可能測度論◎宮部賢志

逆数学と無限ゲーム◎吉居啓輔

より強い公理を要請する解析学の存在定理◎横山啓太

複素解析学の基礎と逆数学◎堀畑佳宏

直観主義論理上の逆数学◎根元多佳子

京都大学ガロア祭/問題と解説◎伊藤哲也・荒野悠輝