哥德尔的一阶逻辑完全性证明的原始版本

哥德尔的一阶逻辑完全性定理（1929）是数理逻辑的基石。当代的逻辑学学生学习数理逻辑时大都直接接触Henkin（1949）的改良证法,该法简明扼要,并将原证法的“关于可数语言的限制”扩展至“任意基数的语言”。本文用改进的当代逻辑学术语简要重述了哥德尔的一阶逻辑完全性定理的原始证明,这一证明在很大程度上已经为人所遗忘。作者并择要指出原证明中未声明地使用了Konig引理（1926）。     

印度文化和数学里的递归

这篇文章处理了递归的模式在印度艺术（印度寺庙建筑与梵文诗律）与印度数学中的重要作用。同时对于莱布尼兹序列（Leibniz series）的玛达瓦（Mādhava）推导做一个具体的形式化的重构,并为大卫·芒福德（David Mumford）的发现提供了证据,即在印度数学中递归是一个重要的证明方法。