马丁 当前离线
墨香之星: 纵死侠骨香 不惭世上英 ...
榜眼
送鲜花 扔鸡蛋 收藏 TOP
回复 马丁 The mathematical theory of big game hunting by H. Pétard (此乃化名) ^lulu^ 发表于 2012-1-28 15:21
希尔伯特方法(或者称之为公理化方法):我们将一个锁住的笼子放在沙漠的一个已知位置上,然后我们引入以下 ... blilver 发表于 2012-1-28 17:52
但是公理二显然有逻辑上的错误啊= = blilver 发表于 2012-1-28 19:09