『100 years of Zermelo’s axiom of choice: what was the problem with it?』
翻訳:
【翻訳】ツェルメロの選択公理の100年:何が問題だったのか? #定理証明支援系 - Qiita
1. どんなもの?
2. 先行研究と比べてどこがすごい?
3. 技術や手法のキモはどこ?
4. どうやって有効だと検証した?
5. 議論はある?
6. 次に読むべき論文は?
確認用
Q.
#論文読み
#論文
#文献