印度文化和数学里的递归

来源 :逻辑学研究 | 被引量 : 0次 | 上传用户:realg007
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
这篇文章处理了递归的模式在印度艺术(印度寺庙建筑与梵文诗律)与印度数学中的重要作用。同时对于莱布尼兹序列(Leibniz series)的玛达瓦(Mādhava)推导做一个具体的形式化的重构,并为大卫·芒福德(David Mumford)的发现提供了证据,即在印度数学中递归是一个重要的证明方法。
其他文献
青光眼滤过术后合并硬核白内障,同时角膜内皮细胞密度低,前房条件差,经典白内障手术风险大,并发症发生率高,我们收治1例,经后路超声粉碎摘除白内障,一期植入后房型人工晶体,
灌溉水库工程的建设对流行病、传染病的影响是工程环评中的主要内容之一,正越来越受到广泛关注。麻栗坝水库所在地为疟疾高发区,本文就水库的建设是否会引起疟疾的流行和扩散,以
随着改革开放的深化,结合几年来的国家监督抽查实践,我们越来越感到监督抽查既责任重大,又需不断改进、完善,才能适应社会主义市场经济发展的需要。当前急需解决以下几个方面
11月28日上午10:00,中国水电顾问集团成都勘测设计研究院建院50周年庆祝大会在雄壮的国歌声中隆重召开。
战后初期,日本到处是一片废墟,经济全面崩溃,但在短短几十年时间内,已跃居世界经济最发达的三级之一。是什么促使日本的经济突飞猛进?除了政府制定的措施外,很重要的一方面便
通过对修建于黄河中游的万家寨水利枢纽和三门峡水利枢纽的研究,对多泥沙河流水利枢纽的排沙设计和担负着主要排沙任务的泄流排沙建筑物的设计提出了建议,并认为蓄清排浑等合适
我国正在设计和建设的许多大型水电站,选用了500MW以上的巨型水轮发电机组,均遇到一些相同的重大技术问题,有的还存在分歧意见,本文在介绍基本情况后,结合电站实际,分析和探讨了解决这些
近两年来,家用影碟机作为高档消费品已开始步入消费家庭,正形成又一轮消费新潮,但如何合理维护家用影碟机,对大多数用户而言不甚知晓,笔者认为应侧重注重
奎因包装(Quinn Packaging)公司于2017年4月5日宣布,已投资300万欧元在爱尔兰Ballyconnell增加其PET薄片生产能力。设置新的挤压生产线将显著增加食品级PET薄片的生产能力。