威尔弗里德·霍奇斯 伊本·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号]. 引用于3文件 MSC公司: 01A30型 伊斯兰黄金时代的数学史 2005年第68季度 计算模型(图灵机等)(MSC2010) 关键词:抽象状态机;校对搜索;伊本·塞纳;阿维森纳;三段论 传记参考: 伊本·塞纳 PDF格式BibTeX公司 XML格式引用 \textit{W.Hodges},莱克特。注释计算。科学。6300、354--404(2010年;Zbl 1287.01008) 全文: 内政部 参考文献: [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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。