- 【前田ホール】洗足学園【武蔵溝ノ口】
374 ：エリート街道さん[sage]：2021/01/14(木) 11:04:24.56 ID:Wd7QpLzu - 「数学セミナー 2021年2月号」
数学は公理から定理を証明するものと考えられるが、「逆数学」ではその逆に、定理の証明に必要な公理を調べる。今回は逆数学の基礎と、多様な分野との関わりを紹介する。
特集＝ 逆数学
逆数学／数学基礎論の再興……田中一之
逆数学のこころ／白黒ではなく色鮮やかに……木原貴行
限定逆数学……黒田 覚
アルゴリズム的ランダムネスと計算可能測度論……宮部賢志
逆数学と無限ゲーム……吉居啓輔
より強い公理を要請する解析学の存在定理……横山啓太
複素解析学の基礎と逆数学……堀畑佳宏
直観主義論理上の逆数学……根元多佳子
|
|