×

伊本·Sīnāon分析。I.证据检索。或者:抽象状态机作为逻辑历史的工具。 (英语) Zbl 1287.01008号

安德烈亚斯·布拉斯(编辑)等人,《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-642-15024-1/pbk)。计算机科学讲座笔记6300,354-404(2010)。
摘要:11世纪阿拉伯人逻辑学家伊本·塞纳(Avicenna)在其著作第9.6节中奇亚斯给出了一个似乎是三段论的证明搜索算法。我们通过从伊本·斯泰纳的文本中提取抽象状态机的所有基本成分,证实了它确实是一种证明搜索算法。这篇论文还包含了伊本·斯安纳阿拉伯语文章的译文,以及关于文本和译文的一些注释。
关于整个系列,请参见[Zbl 1194.03003号].

MSC公司:

01A30型 伊斯兰黄金时代的数学史
2005年第68季度 计算模型(图灵机等)(MSC2010)

传记参考:

伊本·塞纳
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Whittaker,J.(编辑):Alcinos:Enseignement des Doctrines de Platon。巴黎巴德(1990年)
[2] 穆勒,I.(译):《阿芙罗狄西亚斯的亚历山大:论亚里士多德的先验分析》,1.32-46。达克沃斯,伦敦(2006)
[3] Smith,R.(Trans.&ed.):亚里士多德:先验分析。哈克特,印第安纳波利斯印第安纳州(1989)
[4] 比格斯,N.L.,劳埃德,E.K.,威尔逊,R.J.:图论1736-1936。牛津克拉伦登出版社(1976)·Zbl 0335.05101号
[5] Börger,E.,Rosenzweig,D.:完整Prolog的数学定义。计算机程序设计科学24,249–286(1995)·Zbl 0832.68022号 ·doi:10.1016/0167-6423(95)00006-E
[6] Börger,E.,Stärk,R.:抽象状态机。柏林施普林格出版社(2003)·Zbl 1040.68042号 ·doi:10.1007/978-3642-18216-7
[7] Dozy,R.P.A.:《阿拉伯词典补遗》(Supplément aux Dictionnaires Arabes)。贝鲁特图书馆(1968)
[8] 埃布森,S.:《亚里士多德的智者埃伦奇的评论家和评论》,第1卷,《希腊传统》。布瑞尔,莱顿(1981)
[9] Goichon,A.-M.:语言哲学词典。德布罗沃,巴黎(1938)
[10] Gurevich,Y.:进化代数。教程介绍。欧洲理论计算机科学协会公报43,264–284(1991)·Zbl 0757.68076号
[11] Gurevich,Y.,Veanes,M.,Wallace,C.:抽象状态机在语言理论中有用吗?理论计算机科学376,17-29(2007)·Zbl 1111.68054号 ·doi:10.1016/j.tcs.2007.01.009
[12] 古斯塔斯:阿维森纳与亚里士多德传统:阅读阿维森娜哲学著作导论。布瑞尔,莱顿(1988)
[13] 霍奇斯:传统逻辑、现代逻辑和自然语言。《哲学逻辑杂志》38889–606(2009)·Zbl 1193.03006号 ·doi:10.1007/s10992-009-9113-y
[14] Madkour,I.等人(编辑):伊本·塞纳:阿尔-c(c)伊布拉。达拉·科拉提卜-c(c)阿拉伯字母-阿毛利人c(c)wal Našr,开罗(1970年)
[15] Madkour,I.等人(编辑):Ibn Sínán:al-QiyáS。Našr Wizára al-Taqáfa wal-‘Iršаd al-Qámí(1964年)(上文称为开罗版)
[16] Badawí,A.(编辑):Ibn Sínán:Al-Burhán。达拉·阿纳a al公司-c(c)阿拉伯埃及,开罗(1966年)
[17] Madkour,I.等人(编辑):伊本·塞纳:al-Sufista。Našr Wizāra al-Taqāfa wal Tac(c)开罗,勒姆(1956)
[18] 伊本·塞纳:Al-Naját。詹姆c(c)铝-乌克,贝鲁特(1992)
[19] 伊本·塞纳:男人iq al-Mašriqiyyín。Al-Maktaba Al-Salafiyya,开罗(1910)
[20] Zare’i,M.(编辑):Ibn Sínán:Al-išola rát wal-Tanbiyyát,Qum。Bástán-e Ketab-e Qom,伊朗(2000年);(逻辑部分翻译为:Inati,S.C.:Ibn Sínánñ,《评论和训诫,第一部分:逻辑》,多伦多:天主教中世纪研究所)(1984年)
[21] 贾布雷(Jabre,F.):Al-Naṣṣ al-Kámil li-曼智商阿里斯,第1卷。Dár al-Fikr al-Libnán,贝鲁特(1999)
[22] Katz,V.J.:中世纪希伯来语和伊斯兰数学中的组合数学和归纳法。摘自:Calinger,R.(编辑)《Vita Mathematica:历史研究与教学整合》,第99-106页。美国数学协会(1996)
[23] 库奇,W.:穆ṣṣ铝–艾尔姆ṣṣ圣若瑟大学教授27(8),169-176(1947-1948)
[24] 约翰·菲洛波努斯(John Philoponus):《亚里士多德分析》(Aristotelis Analytica Priora Commentaria),载于:Wallies,M.(编辑)。柏林雷默(1905)
[25] Ramsey,F.P.:基础:哲学、逻辑、数学和经济学论文。收录人:Mellor,D.H.(编辑)。Routledge&Kegan Paul,伦敦(1978年)
[26] Rashed,R.:《无限数学》,第1卷,《基金会与评论》。Al-Furqán,伦敦(1996)
[27] Rashed,R.:Al-Khwárizmí,《阿尔盖布的毕业典礼》。布兰查德,巴黎(2007)
[28] W.D.罗斯:亚里士多德的先验和后验分析。牛津克拉伦登出版社(1949)
[29] Shehaby,N.:Avicenna的命题逻辑。多德雷赫特·雷德尔(1973)·doi:10.1007/978-94-010-2624-6
[30] 斯特里特:阿维森纳三段论概述。《哲学档案》84(2),129-160(2002)·doi:10.1515/agph.2002.007
[31] Thom,P.:三段论。Philosophia Verlag,慕尼黑(1981)·Zbl 0471.03005号
[32] Versteegh,K.:语言思想的里程碑III:阿拉伯语传统。劳特利奇,伦敦(1997)·数字对象标识代码:10.4324/9780203444153
[33] Zermelo,E.:Untersuchungenüber die Grundlagen der Mengenlehre I.《数学年鉴》65、261–281(1908)·JFM 39.0097.03型 ·doi:10.1007/BF01449999
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。