22/11/19 18:08:20.17 upZ/9WVw.net
>>316
基礎論関連ですが、私が大学院を卒業するかしないかの頃、
朝日新聞で数学の各分野に関する特集記事を何日かにわたって掲載していたことがあります。
その中で、ゲーデルの第二不完全性定理を克服しようと、東京大学の新井敏康先生が、
ZFC の無矛盾性を『有限の立場（に近い立場）で』証明しようと、目下猛烈に研究中であるとの記事がありました。
その研究の消息がすごく気になっております。
22/11/19 18:08:20.17 upZ/9WVw.net
>>316
基礎論関連ですが、私が大学院を卒業するかしないかの頃、
朝日新聞で数学の各分野に関する特集記事を何日かにわたって掲載していたことがあります。
その中で、ゲーデルの第二不完全性定理を克服しようと、東京大学の新井敏康先生が、
ZFC の無矛盾性を『有限の立場（に近い立場）で』証明しようと、目下猛烈に研究中であるとの記事がありました。
その研究の消息がすごく気になっております。