數學 家Andrej Bauer 去年為普林斯頓高等研究所(IAS)演講,主題是「Five Stages of Accepting Constructive Mathematics」,他參考著名的Kübler-Ross 模型, ...
確定! 回上一頁