编辑配置文件（在新选项卡中打开） 威弗里德·西格 合著者距离 作者ID： 西格·威弗里德 发布日期： 威弗里德·西格;西雅格。 外部链接： MGP公司 已编制索引的文档： 61出版物自1981年以来，包括3本书 14作为编辑的贡献 合著者： 35位合著者具有32份联合出版物 1016位合作作者 全部的 前5名合著者 43 单作者的 7 所罗门·费弗曼 5 查尔斯·帕森斯。 4 约翰·杜森（John W.jun Dawson）。 4 库尔特·哥德尔 4 沃伦·戈德法布。 3 约翰·伯恩斯 3 威廉·布拉格·埃瓦尔德 3 哈雷特，迈克尔·T。 3 乌尔里奇·马杰 3 德克·施利姆 2 威尔弗里德·巴赫霍尔茨 2 克林顿·菲尔德 2 大卫·希尔伯特 1 保罗·伯奈斯 1 萨维里奥·西塔迪尼 1 戴维斯，马丁·戴维 1 德拉赫尚、法扎内赫 1 Dov M.加巴伊。 1 迈克尔·加巴伊（Michael J.Gabbay）。 1 圣地亚哥Hernández-Orozco 1 Hernández-Quiroz，弗朗西斯科 1 贾格尔，格哈德 1 弗拉基克·雅科夫列维奇（Vladik Yakovlevich Kreinovich） 1 弗拉基米尔·利夫希茨 1 麦克劳林，道恩 1 Rebecca Lea莫里斯 1 丹妮尔·蒙迪奇 1 弗兰克·芬宁 1 沃尔夫拉姆·波勒 1 谢克曼，Jörg H。 1 理查德·索默 1 瑞克·索默 1 马塞·萨博 1 卡罗琳·塔尔科特。 1 斯坦利·斯科特·韦纳 1 帕特里克·M·沃尔什。 1 克劳斯·皮特·沃思 1 赫克托·泽尼尔 全部的 前5名系列 4 符号逻辑公报 3 合成 2 Studia Logica公司 2 纯逻辑与应用逻辑年鉴 2 数学哲学。系列III 1 德国财政部（DMV） 1 符号逻辑杂志 1 米兰费西科马特米蒂科研讨会（Rendiconti del Seminario Matemático e Fisico di Milano） 1 自动推理杂志 1 数学逻辑档案 1 数学哲学。系列III 1 IGPL逻辑杂志 1 Lettera Matematica Pristem公司 1 自然计算 1 并行处理信件 1 当代数学 1 逻辑课堂笔记 1 数学讲义 1 符号逻辑综述 1 致敬 1 对逻辑的杰出贡献 1 科学观点 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 全部的 前5名领域 65 数学逻辑和基础（03-XX） 43 历史和传记（01-XX） 21 总体主题；集合（00-XX） 15 计算机科学（68至XX） 1 数论（11-XX） 1 群论与推广（20-XX） 1 实函数（26年X月X日） 1 数学教育（97-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 56出版物有被引用448中的次310文件 引用人▼ 年份▼ 重复归纳定义和分析子系统：最近的理论研究证明。 Zbl 0489.03022号 威尔弗里德·巴赫霍尔茨;所罗门·费弗曼;沃尔夫拉姆·波勒;威弗里德·西格 142 1981 算术片段。 Zbl 0558.03029号 威弗里德·西格 35 1985 希尔伯特的节目：1917-1922。 Zbl 0924.03002号 威弗里德·西格 21 1999 赫布兰德分析。 Zbl 0722.03040号 威弗里德·西格 19 1991 机械程序和数学经验。 Zbl 0816.03001号 威弗里德·西格 18 1994 1917-1933年，大卫·希尔伯特关于算术和逻辑基础的讲座。与Ulrich Majer和Dirk Schlimm合作。 Zbl 1275.03002号 大卫·希尔伯特 17 2013 正常的自然演绎证明（在经典逻辑中）。 Zbl 0954.03015号 威弗里德·西格;约翰·伯恩斯 15 1998 Dedekind对数字的分析：系统和公理。 Zbl 1084.01008号 威弗里德·西格;德克·施利姆 12 2005 希尔伯特的节目及其他。 Zbl 1281.01004号 威弗里德·西格 12 2013 教会无教条：可计算性公理。 Zbl 1148.68372号 威弗里德·西格 12 2008 收藏作品。第四卷：通信，A–G。由所罗门·费弗曼（Solomon Feferman）、约翰·道森（John W.Dawson jun）、沃伦·戈德法布（Warren Goldfarb）、查尔斯·帕森斯（Charles Parsons）和威尔弗里德·西格（Wilfried Sieg）编辑。 Zbl 1026.01019号 库尔特·哥德尔 12 2003 逐步递归：Church对有效可计算性的分析。 Zbl 0884.03001号 威弗里德·西格 12 1997 正规自然演绎证明（在非经典逻辑中）。 Zbl 1098.03026号 威弗里德·西格;萨维里奥·西塔迪尼 11 2005 收藏作品。第五卷：通信，H–Z。由所罗门·费弗曼（Solomon Feferman）、约翰·道森（John W.Dawson jun）、沃伦·戈德法布（Warren Goldfarb）、查尔斯·帕森斯（Charles Parsons）和威尔弗里德·西格（Wilfried Sieg）编辑。 Zbl 1026.01020号 库尔特·哥德尔 11 2003 对数学基础的思考。索罗门·费弗曼的散文。 兹比尔1001.00020 10 2002 人机计算：概念分析。 Zbl 1014.03009号 威弗里德·西格 8 2002 寻找证据（并揭示数学思维的能力）。 Zbl 1244.03156号 威弗里德·西格 7 2010 哥德尔谈可计算性。 Zbl 1111.03003号 威弗里德·西格 6 2006 自动搜索哥德尔的证明。 Zbl 1064.03010号 威弗里德·西格;克林顿·菲尔德 6 2005 六十年后，希尔伯特的计划。 Zbl 0654.0302号 威弗里德·西格 5 1988 AProS项目：战略思维和计算逻辑。 Zbl 1127.03306号 威弗里德·西格 5 2007 人机计算：数学表示。 Zbl 1026.03027号 威弗里德·西格 5 2002 Grundlagen der Mathematik公司。数学基础。一、A部分前言和§§1–2。由Dov Gabbay、Michael Gabbay，Jörg Siekmann和Claus-Peter Wirth编辑并附有序言。由克劳斯·彼得·沃思（Claus-Peter Wirth）评论1968年第二版德语的翻译，包括1934年第一版德语所有删除部分的注释和翻译。威尔弗里德·西格（Wilfried Sieg）写了一章“希尔伯特的证明理论”。英语-德语双文本。 Zbl 1283.03005号 大卫·希尔伯特;保罗·伯奈斯 5 2011 基金会上的费费曼。逻辑、数学、哲学。 Zbl 1394.03005号 5 2017 只有两封信：赫布兰德和哥德尔之间的通信。 兹比尔1089.03005 威弗里德·西格 4 2005 可计算性公理：它们允许证明Church的论点吗？ Zbl 1256.68062号 威弗里德·西格 4 2013 \（K\）-图机器：推广图灵的机器和参数。 Zbl 0856.03032号 威弗里德·西格;约翰·伯恩斯 4 1996 希尔伯特公理学的方法：结构和形式。 Zbl 1298.03015号 威弗里德·西格 4 2014 Cantor-Bernstein定理：有多少证明？ Zbl 1441.03015号 威弗里德·西格 4 2019 Dedekind的结构主义：创造概念和推导定理。 Zbl 1423.03037号 威弗里德·西格;丽贝卡·莫里斯 3 2018 希尔伯特够不着？ Zbl 1113.03306号 威弗里德·西格 3 2002 自然扣除。 Zbl 0953.00008 3 1998 哥德尔对图灵的哲学挑战。 Zbl 1301.03013号 威弗里德·西格 3 2013 自然形式化：导出ZF中的Cantor-Bernstein定理。 Zbl 07374087号 威弗里德·西格;帕特里克·沃尔什 3 2021 走向有限主义证明理论。 Zbl 1015.03004号 威弗里德·西格 2 2002 分析和证明理论的基础。 Zbl 0547.01013号 威弗里德·西格 2 1984 造纸机。 兹比尔0851.03010 丹妮尔·蒙迪奇;威弗里德·西格 2 1995 关于多项式时间可计算算法的注记。 Zbl 0696.03032号 威尔弗里德·巴赫霍尔茨;威弗里德·西格 2 1990 希尔伯特够不着？ Zbl 1163.03009号 威弗里德·西格 2 2009 1936年的概念融合：波斯特和图灵。 Zbl 1400.01008号 马丁·戴维斯;威弗里德·西格 2 2015 证明、分类和计算。纪念格里戈里造币厂的文章。与弗拉基克·克雷诺维奇、弗拉基米尔·利夫希茨和鲁伊·德·奎罗斯合作。 Zbl 1203.03007号 2 2010 方法论框架：保罗·伯奈斯、数学结构主义和证明理论。 Zbl 1507.03005号 威弗里德·西格 2 2020 自动搜索哥德尔的证明。 Zbl 1191.03010号 威弗里德·西格;克林顿·菲尔德 1 2008 简化理论进行分析。 Zbl 0631.03044号 威弗里德·西格 1 1985 循序渐进：教会对有效可计算性的分析。 Zbl 1105.03300号 威弗里德·西格 1 2006 关于思维和图灵的机器。 Zbl 1120.03006号 威弗里德·西格 1 2007 哥德尔、图灵和（K）图机器。 兹伯利0949.03034 威弗里德·西格;约翰·伯恩斯 1 1999 逻辑和计算。1987年6月30日至7月2日，美国宾夕法尼亚州匹兹堡卡内基·梅隆大学举办的研讨会论文集。 Zbl 0691.00003号 1 1990 相对一致性和可访问域。 Zbl 0757.03004号 威弗里德·西格 1 1990 在不完整的阴影下：希尔伯特和根岑。 Zbl 1312.03006号 威弗里德·西格 1 2012 具有Koenig引理的理论的可证明递归泛函。 Zbl 0672.03045号 威弗里德·西格 1 1987 作为对象的证据。 Zbl 07633001号 威弗里德·西格 1 2022 Dedekind的抽象概念：模型和映射。 Zbl 1420.01007号 威弗里德·西格;德克·施利姆 1 2017 程序转换和证明转换。 兹比尔0953.68519 威弗里德·西格;韦纳，S.S。 1 1994 计算的概念是什么？ Zbl 1509.03024号 威弗里德·西格 1 2018 以人为中心的自动校样搜索。 Zbl 07461268号 威弗里德·西格;德拉赫尚、法扎内赫 1 2021 作为对象的证据。 Zbl 07633001号 威弗里德·西格 1 2022 自然形式化：导出ZF中的Cantor-Bernstein定理。 Zbl 07374087号 威弗里德·西格;帕特里克·沃尔什 3 2021 以人为中心的自动化证据搜索。 Zbl 07461268号 威弗里德·西格;德拉赫尚、法扎内赫 1 2021 方法论框架：保罗·伯奈斯、数学结构主义和证明理论。 Zbl 1507.03005号 威弗里德·西格 2 2020 Cantor-Bernstein定理：有多少证明？ Zbl 1441.03015号 威弗里德·西格 4 2019 戴德金的结构主义：创造概念和推导定理。 Zbl 1423.03037号 威弗里德·西格;丽贝卡·莫里斯 3 2018 计算的概念是什么？ 兹比尔1509.03024 威弗里德·西格 1 2018 基金会上的费费曼。逻辑、数学、哲学。 Zbl 1394.03005号 5 2017 Dedekind的抽象概念：模型和映射。 Zbl 1420.01007号 威弗里德·西格;德克·施利姆 1 2017 1936年的概念融合：波斯特和图灵。 Zbl 1400.01008号 马丁·戴维斯;威弗里德·西格 2 2015 希尔伯特公理学的方法：结构和形式。 Zbl 1298.03015号 威弗里德·西格 4 2014 1917-1933年，大卫·希尔伯特关于算术和逻辑基础的讲座。与Ulrich Majer和Dirk Schlimm合作。 Zbl 1275.03002号 大卫·希尔伯特 17 2013 希尔伯特的节目及其他。 Zbl 1281.01004号 威弗里德·西格 12 2013 可计算性公理：它们允许Church论文的证明吗？ Zbl 1256.68062号 威弗里德·西格 4 2013 哥德尔对图灵的哲学挑战。 Zbl 1301.03013号 威弗里德·西格 3 2013 在不完整的阴影下：希尔伯特和根岑。 Zbl 1312.03006号 威弗里德·西格 1 2012 Grundlagen der Mathematik公司。数学基础。I.第一部分前言和§§1-2。由Dov Gabbay、Michael Gabbay，Jörg Siekmann和Claus-Peter Wirth编辑并附有序言。由克劳斯·彼得·沃思（Claus-Peter Wirth）评论1968年第二版德语的翻译，包括1934年第一版德语所有删除部分的注释和翻译。威尔弗里德·西格（Wilfried Sieg）写了一章“希尔伯特的证明理论”。英语和德语双重文本。 Zbl 1283.03005号 大卫·希尔伯特;保罗·伯奈斯 5 2011 寻找证据（并揭示数学思维的能力）。 Zbl 1244.03156号 威弗里德·西格 7 2010 证明、分类和计算。纪念格里戈里造币厂的文章。与弗拉基克·克雷诺维奇、弗拉基米尔·利夫希茨和鲁伊·德·奎罗斯合作。 Zbl 1203.03007号 2 2010 希尔伯特够不着？ 兹比尔1163.03009 威弗里德·西格 2 2009 教会无教条：可计算性公理。 Zbl 1148.68372号 威弗里德·西格 12 2008 自动搜索哥德尔的证明。 Zbl 1191.03010号 威弗里德·西格;克林顿·菲尔德 1 2008 AProS项目：战略思维和计算逻辑。 Zbl 1127.03306号 威弗里德·西格 5 2007 关于思维和图灵的机器。 Zbl 1120.03006号 威弗里德·西格 1 2007 哥德尔谈可计算性。 Zbl 1111.03003号 威弗里德·西格 6 2006 循序渐进：教会对有效可计算性的分析。 Zbl 1105.03300号 威弗里德·西格 1 2006 德德金对数字的分析：系统和公理。 Zbl 1084.01008号 威弗里德·西格;德克·施利姆 12 2005 正常的自然演绎证明（在非经典逻辑中）。 Zbl 1098.03026号 威弗里德·西格;萨维里奥·西塔迪尼 11 2005 自动搜索哥德尔的证明。 Zbl 1064.03010号 威弗里德·西格;克林顿·菲尔德 6 2005 只有两封信：赫布兰德和哥德尔之间的通信。 Zbl 1089.03005号 威弗里德·西格 4 2005 收藏作品。第四卷：通信，A–G。由所罗门·费弗曼（Solomon Feferman）、约翰·道森（John W.Dawson jun）、沃伦·戈德法布（Warren Goldfarb）、查尔斯·帕森斯（Charles Parsons）和威尔弗里德·西格（Wilfried Sieg）编辑。 Zbl 1026.01019号 库尔特·哥德尔 12 2003 收藏作品。第五卷：通信，H–Z。由所罗门·费弗曼（Solomon Feferman）、约翰·道森（John W.Dawson jun）、沃伦·戈德法布（Warren Goldfarb）、查尔斯·帕森斯（Charles Parsons）和威尔弗里德·西格（Wilfried Sieg）编辑。 Zbl 1026.01020号 库尔特·哥德尔 11 2003 对数学基础的思考。索罗门·费弗曼的散文。 Zbl 1001.00020号 10 2002 人机计算：概念分析。 Zbl 1014.03009号 威弗里德·西格 8 2002 人机计算：数学表示。 兹比尔1026.03027 威弗里德·西格 5 2002 希尔伯特够不着？ Zbl 1113.03306号 威弗里德·西格 3 2002 走向有限主义证明理论。 Zbl 1015.03004号 威弗里德·西格 2 2002 希尔伯特的节目：1917-1922。 Zbl 0924.03002号 威弗里德·西格 21 1999 哥德尔、图灵和（K）图机器。 Zbl 0949.03034号 威弗里德·西格;约翰·伯恩斯 1 1999 正常的自然演绎证明（在经典逻辑中）。 Zbl 0954.03015号 威弗里德·西格;约翰·伯恩斯 15 1998 自然扣除。 Zbl 0953.00008 3 1998 循序渐进：教会对有效可计算性的分析。 Zbl 0884.03001号 威弗里德·西格 12 1997 \（K\）-图机器：图灵机器和自变量的推广。 Zbl 0856.03032号 威弗里德·西格;约翰·伯恩斯 4 1996 造纸机。 Zbl 0851.03010号 丹妮尔·蒙迪奇;威弗里德·西格 2 1995 机械程序和数学经验。 Zbl 0816.03001号 威弗里德·西格 18 1994 程序转换和证明转换。 Zbl 0953.68519号 威弗里德·西格;韦纳，S.S。 1 1994 赫布兰德分析。 Zbl 0722.03040号 威弗里德·西格 19 1991 关于多项式时间可计算算法的注记。 Zbl 0696.03032号 威尔弗里德·巴赫霍尔茨;威弗里德·西格 2 1990 逻辑和计算。1987年6月30日至7月2日，在宾夕法尼亚州匹兹堡卡耐基梅隆大学举行的研讨会论文集。 Zbl 0691.00003号 1 1990 相对一致性和可访问域。 Zbl 0757.03004号 威弗里德·西格 1 1990 六十年后，希尔伯特的计划。 Zbl 0654.0302号 威弗里德·西格 5 1988 具有Koenig引理的理论的可证明递归泛函。 Zbl 0672.03045号 威弗里德·西格 1 1987 算术片段。 Zbl 0558.03029号 威弗里德·西格 35 1985 用于分析的理论的简化。 Zbl 0631.03044号 威弗里德·西格 1 1985 分析和证明理论的基础。 Zbl 0547.01013号 威弗里德·西格 2 1984 重复归纳定义和分析子系统：最近的理论研究证明。 Zbl 0489.03022号 威尔弗里德·巴赫霍尔茨;所罗门·费弗曼;沃尔夫拉姆·波勒;威弗里德·西格 142 1981 所有引用出版物 前5名被引用出版物 全部的 前5名238位作者引用 21 威弗里德·西格 18 贾格尔，格哈德 13 迈克尔·拉特扬 11 托马斯·斯特拉姆 10 山姆·桑德斯 9 莱因哈德·卡勒 8 乌尔里希·威廉·科伦巴赫 7 杰里米·阿维加德 7 斯蒂芬·辛普森。 6 所罗门·费弗曼 6 沃尔夫拉姆·波勒 6 安德烈亚斯·魏尔曼 4 安德烈亚·坎蒂尼 4 托马斯·格拉斯（Thomas A.Glass）。 3 列夫·贝克莱米舍夫。 3 乌尔里希·伯杰 3 劳拉·克罗西拉 3 纳鸿·德肖维茨 3 肯塔罗州藤本市 3 列夫·戈尔迪夫 3 达格·诺曼 3 查尔斯·帕森斯。 3 马塞·萨博 3 冈纳·威尔肯 3 赫克托·泽尼尔 2 阿莱、东山英彦 2 乌迪·博克 2 Douglas K·布朗。 2 蒂莫西·卡尔森。 2 沃尔特·迪恩 2 Randall L.Dougherty。 2 卡特里娜Dutilh Novaes 2 毛罗·法拉利 2 费尔南多·费雷拉 2 何塞·费雷洛斯 2 佛罗伦萨，卡米洛 2 弗洛伊德，朱丽叶 2 安东·弗伦德 2 爱德华多·N·乔瓦尼尼。 2 尤里·古里维奇 2 Hernández-Quiroz，弗朗西斯科 2 杰弗里·林恩·赫斯特 2 Aleksandar Ignjatović 2 托马斯·杰赫。 2 金森明弘 2 安斯滕·默奇·克莱夫 2 格雷厄姆·埃米尔·利 2 丹尼尔·莱万特（Daniel M.Leivant）。 2 保罗·曼科苏 2 戴尔·艾伦·米勒 2 卡洛·尼古莱 2 Vivek Nigam先生 2 雅罗斯拉夫·伊戈列维奇·彼得鲁金 2 安德烈·波佩斯库 2 迪特·普罗斯特 2 埃里希·雷克。 2 佐藤，肯塔罗 2 乔治·希默尔 2 德克·施利姆 2 安东·塞泽尔 2 瓦西里·沙金 2 西尔维娅·斯特拉 2 托马斯·施图德 2 Makoto Tatsuta 2 亨利·托斯纳 2 德米特里·特拉泰尔 2 谢尔盖·图派洛 2 范德米伦（Jeroen Van der Meeren） 1 克劳斯·埃利格 1 阿夫沙里语、巴哈雷语 1 埃文德罗·阿加齐 1 胡安·巴勃罗·阿奎莱拉 1 恩里克·阿隆索 1 卡罗琳·安托斯 1 安德鲁·阿拉纳 1 维科尔·阿兰达 1 康斯坦丁·阿库达斯 1 阿米尔·阿斯加里 1 阿诺·阿夫隆 1 史蒂夫·阿沃迪 1 迈克尔·巴兹基 1 Hourya Benis-Sinaceur 1 约瑟夫·伯杰 1 丹尼斯·邦内 1 伊桑·布劳尔 1 里卡多·布鲁尼 1 威尔弗里德·巴赫霍尔茨 1 Samuel R.巴斯。 1 帕特里克·卡尔登 1 梅林·卡尔 1 卡蒂，D.C.麦克。 1 皮埃尔·卡苏-诺古耶斯 1 西雄，E.A。 1 卡罗尔·克莱兰德。 1 罗伯特·李，警察 1 B.Jack科普兰 1 可口、蒂埃里 1 安德烈斯·科多恩·佛朗哥 1 利奥·科里 1 约翰·纽索姆·克罗斯利 …还有138位作者 全部的 前5名44连载 44 纯逻辑与应用逻辑年鉴 37 符号逻辑杂志 23 数学逻辑档案 18 合成 18 符号逻辑公报 14 符号逻辑综述 9 逻辑历史与哲学 6 理论计算机科学 5 自动推理杂志 4 Archive für Mathematische Logik und Grundlagenforschung公司 4 数学史 4 泛逻辑 3 Semesterberichte数学 3 数学信使 3 Studia Logica公司 3 伦敦皇家学会哲学学报。A.数学、物理和工程科学 2 哲学逻辑杂志 2 圣母院形式逻辑杂志 2 信息与计算 2 逻辑、语言与信息杂志 2 可计算性 2 科学观点 1 精密科学史档案 1 德国财政部（DMV） 1 数学进展 1 《伦敦数学学会通报》 1 米兰费西科马特米蒂科研讨会（Rendiconti del Seminario Matemático e Fisico di Milano） 1 Indagationes Mathematicae公司。新系列 1 数学逻辑季刊（MLQ） 1 选择Mathematica。新系列 1 美国数学学会电子研究公告 1 数学通信 1 计算系统理论 1 埃尔肯特尼斯 1 数学逻辑杂志 1 逻辑与代数程序设计杂志 1 逻辑与逻辑哲学 1 自然计算 1 应用逻辑杂志 1 并行处理信件 1 美国数学学会公报 1 马特马提卡历史博物馆（Revista Brasileira de História da Matemática） 1 哲学指南针 1 欧洲数学杂志 全部的 前5名19个领域引用 285 数学逻辑和基础（03-XX） 67 历史和传记（01-XX） 54 计算机科学（68至XX） 38 总体主题；集合（00-XX） 6 有序，格，有序代数结构（06-XX） 3 群论与推广（20-XX） 3 一般拓扑结构（54至XX） 2 组合数学（05-XX） 2 一般代数系统（08-XX） 2 实函数（26年X月X日） 2 动力系统和遍历理论（37至XX） 2 几何图形（51至XX） 2 量子理论（81-XX） 1 范畴理论；同调代数（18-XX） 1 功能分析（46倍X倍） 1 算子理论（47-XX） 1 代数拓扑（55-XX） 1 相对论和引力理论（83至XX） 1 数学教育（97-XX） 按年份列出的引文