印度文化和数学里的递归(英文)

来源 :逻辑学研究 | 被引量 : 0次 | 上传用户:prcjzzz
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
这篇文章处理了递归的模式在印度艺术(印度寺庙建筑与梵文诗律)与印度数学中的重要作用。同时对于莱布尼兹序列(Leibniz series)的玛达瓦(Mādhava)推导做一个具体的形式化的重构,并为大卫·芒福德(David Mumford)的发现提供了证据,即在印度数学中递归是一个重要的证明方法。 This article deals with the important role of recursive patterns in Indian art (Indian temple architecture and Sanskrit poetry) and Indian mathematics. At the same time, a specific formal reconstruction of the Mādhava derivation of the Leibniz series was made and evidence was provided for the discovery by David Mumford that in India Recursion in mathematics is an important method of proof.
其他文献
众所周知,电影界的最高荣誉是奥斯卡奖,每个电影人都以能得到1尊小金人为荣。不过每年在奥斯卡颁奖之后,媒体也会颁发另一个奖项,那就是“金酸梅奖”。这个奖发给当年拍得最
对于知识产权网络侵权案件中公证证据的认定,一直存在两种认识,一种要求倾向于保护权利人,即使证据存在一定的缺陷,也不能对权利人要求过高;另一种则认为网络证据很容易作假,
人到中年,激情不再,功名、利禄、情爱都蜕去了颜色与光环,这是怎样的寂寞与荒凉?曾获第67届威尼斯电影节金狮奖的影片《在某处(SOMEWHERE)》讲述的正是这样一种人生状态。作
一九七○的冬天并不比往年冷。离过年还有十来天,我急匆匆从插队的乡下赶回安顺,又马不停蹄地乘火车赶到遵义。已是下午六点过。水西接到我,挤公交、转车,一路飞跑,抵拢十公
张思德,1915年4月19日出生在四川省仪陇县六合场韩家湾一个佃农家庭。1933年参加红军,1937年加入中国共产党,先后当过八路军云阳留守处警卫连通信班长和中央警卫团战士,历经川陕苏区反六路围攻战斗、二万五千里长征和陕甘宁边区大生产运动。1944年9月5日,在安塞山中烧炭时因炭窑崩塌被埋牺牲,卒年29岁。    1944年9月8日,在延安枣园后沟的西山脚下,中央直属机关和中央警卫团1000多人集
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
为什么要来北京?用一个词儿形容自己。大众化,我是眨眼工夫就会消失在滚滚人流中的那种人。毕业时选择北京是因为羡慕大学时认识的一群北京网友们的生活状态,想要迫不及待地
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
“创意·启迪未来”。2013年9月21日,在首届新疆文化创意产业博览会上,昌吉回族自治州、克拉玛依、博尔塔拉蒙古自治州、哈密等六个地州市的50多家企业在新疆文化创意产业展
长期以来,兵团被视为稳定新疆的核心。它以占全疆1/7的人口,生产着新疆1/5的粮食、2/5的棉花。走过了半个世纪,这个当年“一手拿枪,一手扶犁”的组织在新疆工作会议之后,看到新的出路。在新疆工作会议上,胡锦涛强调,对新疆维吾尔自治区的支持政策对兵团同样适用,要把城镇化、工业化、农业现代化作为兵团特殊体制和社会主义市场经济体制紧密结合的有效措施,增强兵团自我发展能力    早上9点,整个石河子市刚刚