diamond-plus
fine structure argumentがforcingに見えてくる瞬間 - くるるの数学ノート
こういう話をした直後に、やっぱりdiamond-plusから行けそうな気がしてくるってのはどういう現象なんでしょうか?まあ、やりとりがあると脳が活性化するとか言う無難な線で納得しよう。
fine structure argumentがforcingに見えてくる瞬間 - くるるの数学ノート
こういう話をした直後に、やっぱりdiamond-plusから行けそうな気がしてくるってのはどういう現象なんでしょうか?まあ、やりとりがあると脳が活性化するとか言う無難な線で納得しよう。