在此我们将“抓住一个被驯服的狮子”作为一个练习留给读者。 chinayard 发表于 2012-1-28 03:38
回复 马丁 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
~O(∩_∩)O~,要是现在把这话题开一个水楼,估计能收到更多领域的有意思的回复 马丁 发表于 2012-1-28 11:43