印度文化和数学里的递归

来源 :逻辑学研究 | 被引量 : 0次 | 上传用户:realg007
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
这篇文章处理了递归的模式在印度艺术(印度寺庙建筑与梵文诗律)与印度数学中的重要作用。同时对于莱布尼兹序列(Leibniz series)的玛达瓦(Mādhava)推导做一个具体的形式化的重构,并为大卫·芒福德(David Mumford)的发现提供了证据,即在印度数学中递归是一个重要的证明方法。
其他文献
通过对修建于黄河中游的万家寨水利枢纽和三门峡水利枢纽的研究,对多泥沙河流水利枢纽的排沙设计和担负着主要排沙任务的泄流排沙建筑物的设计提出了建议,并认为蓄清排浑等合适