内容gydF4y2Ba 更接近找到摩西的命运Schönfinkel, combinator的发明者gydF4y2Ba

更接近找到摩西的命运Schönfinkel, combinator的发明者gydF4y2Ba

更接近找到摩西的命运Schönfinkel, combinator的发明者gydF4y2Ba

对于有记载的思想史上的大多数重大思想,人们可以回答这样一个问题:“它的创造者后来怎么样了?”但去年年底gydF4y2Ba我试图为摩西·舍芬克尔回答这个问题gydF4y2Ba,谁播种了一个种子,因为过去的世纪可能是最大的最大想法:gydF4y2Ba抽象计算及其普遍性gydF4y2Ba.gydF4y2Ba

我设法找到了很多关于摩西的信息Schönfinkel。但我不知道他后来怎么样了。但我还是继续挖掘。结果我发现了更多。这里有一个更新....gydF4y2Ba

简单回顾一下:摩西Schönfinkel出生于1888年gydF4y2BaEkaterinoslavgydF4y2Ba(现在dnipro)在现在乌克兰的内容。他去了大学gydF4y2Ba敖德萨gydF4y2Ba然后在1914年去了gydF4y2Ba哥廷根gydF4y2Ba跟...共事gydF4y2Ba大卫希尔伯特gydF4y2Ba. 他没有发表任何东西,但在1920年12月7日,32岁的他做了一次题为“逻辑元素”的演讲,介绍了gydF4y2Ba现在什么叫组合子gydF4y2Ba这是我们现在称之为抽象计算的第一个完整的形式主义。1924年3月18日,他带着一篇以演讲为基础的论文,前往莫斯科。基本上消失了。gydF4y2Ba

据说他有心理健康问题,1940年或1942年死于莫斯科的贫困中。但对于这两种说法,我们都没有具体的证据。gydF4y2Ba

当我去年研究这个的时候,我发现摩西Schönfinkel有一个弟弟gydF4y2BaNathan Scheinfinkel.gydF4y2Ba(是的,他使用了俄罗斯шейнфинкель的不同音译),他在瑞士伯尔尼的生理学教授,后来在土耳其。在这个过程中迟到了,我也发现了MosesSchönfinkel有一个妹妹Debora,我们可以在1907年毕业于高中毕业。gydF4y2Ba

摩西Schönfinkel来自一个犹太商人家庭,他的母亲来自一个非常显赫的家庭。我怀疑他们可能还有其他兄弟姐妹(摩西的母亲来自一个有8个孩子的家庭)。第一个“新发现”是,是的,确实还有两个弟弟。这是他们出生的记录,现在可以在gydF4y2Ba第聂伯罗彼得罗夫斯克(即叶卡捷琳斯拉夫)地区国家档案馆gydF4y2Ba:gydF4y2Ba

出生记录 - 点击放大gydF4y2Ba

因此,шейнфинкель/schönfinkel/ scheinfinkel儿童的完全补充是(包括原始的出生日期gydF4y2Ba儒略历gydF4y2Ba形式,以及他们的现代风格gydF4y2Ba格雷戈里gydF4y2Ba形式,和gydF4y2Ba毕业日期gydF4y2Ba在现代形式):gydF4y2Ba

由于不能直接找到更多关于摩西Schönfinkel的信息,B计划是调查他的兄弟姐妹。gydF4y2Ba

我已经发现了关于Nathan的公平数量。他结婚,至少住在20世纪60年代,最终返回瑞士。最有可能他没有孩子。gydF4y2Ba

我们找不到黛博拉的踪迹gydF4y2Ba高中毕业gydF4y2Ba(我们寻找了婚姻记录,但我们认为相关的时间段并没有现成的记录)。gydF4y2Ba

顺便说一下,相当令人惊讶的是,我们发现(gydF4y2Ba按字母顺序排序gydF4y2Ba),打印的高中毕业班级名单(显然这些名单被分发给了俄罗斯帝国各地的高等教育机构,以便任何人都能核实“毕业状况”,并被保存在教育区档案中,至今已在那里保存了一个多世纪):gydF4y2Ba

毕业记录 - 点击放大gydF4y2Ba

(我们找不到任何与摩西同组的其他36名学生的具体踪迹。)gydF4y2Ba

那么“新发现的兄弟姐妹”,Israel和Gregory呢?好吧,这里我们有更多的运气。gydF4y2Ba

对于以色列我们发现这些奇怪的痕迹:gydF4y2Ba

录取记录-点击放大gydF4y2Ba

这些是1916年1月到12月第一次世界大战期间医院的入院记录。很明显,Israel是一名二等兵gydF4y2Ba2日芬兰团gydF4y2Ba(尽管它的名字在当时还没有芬兰人,在1916年gydF4y2Ba是俄罗斯第7军的一部分gydF4y2Ba向西推进乌克兰南部gydF4y2Ba夺回加利西亚的努力gydF4y2Ba).我们手上的文件显示,他曾两次因某种类似疝气的问题(大概不会危及生命)被送进帕夫洛拉德的一家医院(距离叶卡捷琳娜斯拉夫只有40英里,不过与第七军所在的方向相反)。gydF4y2Ba

但不幸的是,就是这样。不再追踪以色列。gydF4y2Ba

好吧,那比摩西小11岁的"小弟弟"格雷戈里呢?他出现在二战记录里。我们找到了四份文件:gydF4y2Ba

二战文件-点击放大gydF4y2Ba

文档# 4gydF4y2Ba里面有一些有趣的东西:1944年格雷戈里在莫斯科的演讲。记得摩西在1924年去了莫斯科。我的猜测之一是,这是一些家庭联系的结果。好吧,至少20年后(也可能更早,我们会看到),他的兄弟格雷戈里在莫斯科。也许这就是摩西在1924年去那里的原因。gydF4y2Ba

好的,但是这些第二次世界大战文件讲述了格雷戈里的故事是什么故事?gydF4y2Ba文档# 1gydF4y2Ba告诉我们,1943年7月27日,格雷戈里抵达过境点(即基本上是“军事地址”)指定为15ззП44зззззП61А(215 AZSP 61A)的军事单位。它还告诉我们,他在gydF4y2Ba红军gydF4y2Ba.gydF4y2Ba

此后不久,他被调到了第206军区。但不幸的是,他在战场上呆的时间不长。1943年10月1日左右,他受了伤(后来,我们得知他“受了一次伤”),并且gydF4y2Ba文件#2gydF4y2Ba告诉我们,他是762号医院列车(在206 зсп ЗапФ过境点)搭载的5人之一。1943年11月26日,gydF4y2Ba文件#3gydF4y2Ba他从医院列车上出院的记录(具体来说,文件解释了他在医院列车上的时间没有得到报酬)。最后,gydF4y2Ba文件#4gydF4y2Ba据记载,1944年2月18日——大概是在对他的身体状况进行了一段时间的评估之后——他完全退役了,回到了莫斯科的一个演讲场所。gydF4y2Ba

好的,首先是一些军事方面的问题。当格雷戈里1943年7月进入军队时,他被分配(作为预备队或“替补”)到第44步枪旅(44 зсбр)gydF4y2Ba15日步枪部门gydF4y2Ba(15Зсп)在gydF4y2Ba第61军gydF4y2Ba(61A)——据推测,这是在一些事件之后增援部队的一部分gydF4y2Ba苏联损失惨重gydF4y2Ba.后来他被调到gydF4y2Ba206步枪师gydF4y2Ba在gydF4y2Ba47军gydF4y2Ba1943年10月1日左右,他在这里受伤。gydF4y2Ba

当时的总体军事形势是什么?1943年夏天,主要的故事是苏联人试图把德国人推回西部,而前线几乎是沿着海岸线gydF4y2Ba第聂伯河河gydF4y2Ba令人好奇的是,在乌克兰,水流正好穿过叶卡特里诺斯拉夫的中部gydF4y2Ba纽约时报gydF4y2Ba提出的事情:gydF4y2Ba

1943年10月4日——点击放大gydF4y2Ba

但军事历史是它的,有更多详细信息可用。这是A.gydF4y2Ba现代地图gydF4y2Ba显示gydF4y2Ba军事行动gydF4y2Ba1943年9月下旬涉及47军的事件:gydF4y2Ba

1943地图点击放大gydF4y2Ba

苏联人设法让10万多人渡过了第聂伯河,但这是一场激烈的战斗,在9月底,第206步枪师(作为第47集团军的一部分)可能参与了最后阶段的战斗gydF4y2Ba布克林桥头gydF4y2Ba.这可能就是格雷戈里Schönfinkel受伤的地方。gydF4y2Ba

受伤后,他似乎已被带到206次步枪部门的某种服务区(206ЗспЗапф),从中被一个人捡起来gydF4y2Ba医院培训gydF4y2Ba(是的,它实际上是一个移动的医院,有很多车在上面画着红色的十字)。gydF4y2Ba

但在我们寻找格列高利的故事Schönfinkel中更重要的是我们所拥有的军事文件中的其他信息。他们记录他是犹太人(与“俄国人”相反,这些名单上的其他士兵基本上都是这样描述的)。然后他们说他受过“高等教育”。有人说他是一名“工程师”。另一个更具体,他说他是“工程经济学家”(Инж。Эконом)。他们还说他不是共产党员。gydF4y2Ba

他们说他是一个较韦尔,他的妻子的名字是Evdokiya Ivanovna(Евдокияиван。)。他们还列出了他的“母亲”,给她的名字作为Мариягриг。(“Maria Grig”,也许是“Grigorievna”的短暂)。然后他们列出了一个地址:Москвас.Набер。д。26кв。1ч6,大概是26个Sofiyskaya堤防,莫斯科1-6公寓。gydF4y2Ba

那个地址在哪里?好吧,事实证明它位于莫斯科的中心(“内部gydF4y2Ba花园环gydF4y2Ba“),前面直接看莫斯科河gydF4y2Ba克林姆林宫gydF4y2Ba:gydF4y2Ba

这是目前的图片gydF4y2Ba建筑gydF4y2Ba

莫斯科索菲斯卡亚河堤26号1-6号公寓gydF4y2Ba

以及100年前的一个例子:gydF4y2Ba

莫斯科索菲斯卡亚河堤26号1-6号公寓gydF4y2Ba

建筑gydF4y2Ba是由一家名叫的商家建造gydF4y2BaBakhrushinsgydF4y2Ba在1900-1903年为寡妇和孤儿提供免费公寓(显然那里有450套150到300平方英尺的单间公寓)。在俄国革命时期,这座建筑被政府接管,用来容纳gydF4y2Ba石油和天然气部gydF4y2Ba. 但留下了一些“公共公寓”,大概是格雷戈里·舍芬克尔居住的其中一个公寓。(今天,这座大楼是俄罗斯国家石油公司的总部gydF4y2Ba俄罗斯石油公司gydF4y2Ba.)

好的,但是让我们把它进一步展开。“公共公寓”基本上是指宿舍式住房。一栋豪华的建筑,但显然不是那么豪华的住所。嗯,实际上,在苏联时期,宿舍式住房在莫斯科非常典型,所以这真的是一种时髦的设置。gydF4y2Ba

但还有几个谜题。首先,为什么一个受过高等教育、地址豪华的工程经济学家只是军队里的一名士兵?(当医院的火车载上格雷戈里和其他四名士兵时,其中一名被列为木匠;其他的都被列为“с/хоз”或“сельское хозяйство”,基本上意思是“农场工人”,或者在苏联时代之前被称为“农民”)。gydF4y2Ba

也许俄罗斯军队在所有损失之后为新兵做了这么绝望 - 尽管已经成为44岁 - 格雷戈里被选中了。也许他自愿(但是,我们必须解释为什么他早先做过)。但是,无论他如何在军队中突然出现,也许他作为私人的地位与他不是共产党的成员一样。那时,一大部分城市住所“精英”是共产党的成员(并且它不会是他是犹太人的一个主要问题,虽然来​​自商人家庭可能是一个负面的)。但如果他不是在“精英”中,那么Swank地址如何?gydF4y2Ba

第一次观察是他妻子的名字gydF4y2BaEvdokiyagydF4y2Ba是一个很流行的俄罗斯东正教名字,至少在1917年之前是这样(现在显然又流行起来了)。所以格雷戈里大概没有娶一个非犹太人——这在苏联时代并不罕见。现在让我们看看“母亲”的名字:“Мария Григ”。”(“玛丽亚爽朗的人。”)。gydF4y2Ba

我们知道格雷戈里(和摩西)的母亲的名字是玛丽亚/“玛莎”格特索夫纳·舍芬克尔(née Lurie)-或者是莫扎利埃(“莫扎利埃”)加尼埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃埃gydF4y2Ba姓gydF4y2Ba(第二个名字)不匹配。到底发生了什么?gydF4y2Ba

我猜那个“妈妈”实际上是婆婆,而且那是她的公寓。也许她的丈夫(当时很可能不是她)曾在石油和天然气部工作,所以她最终得到了这套公寓。也许格雷戈里也在那里工作。gydF4y2Ba

好的,那么什么是“工程师经济学家”(жжжжжжаааааааааааажа1072。gydF4y2Ba

一个人是如何成为“工程师经济学家”的?至少有一点之后,这是一个5年的“硕士级别”学习课程,包括工程,数学,簿记,金融,特定部门经济学的课程,以及“gydF4y2Ba政治经济学gydF4y2Ba(a la Marx)。这是一种非常苏联式的事情。因此,格雷戈里所做的事实大概意味着他在苏联接受教育。gydF4y2Ba

他一定是刚从高中毕业gydF4y2Ba沙皇gydF4y2Ba正在被推翻。可能太晚了,不能卷入第一次世界大战。但也许他被卷入了战争gydF4y2Ba俄国内战gydF4y2Ba.或许他当时正在上大学,接受早期苏联教育。但是,无论如何,作为一个工程经济学家在二战中他并没有被分配到军队中从事技术工作这是很令人惊讶的,他只是步兵中的一名普通士兵。gydF4y2Ba

从我们掌握的数据来看,还不清楚到底发生了什么。但也许这和摩西有关。gydF4y2Ba

据说摩西死于1940年或1942年,当时“住在公共公寓里”。好吧,也许那个公共公寓实际上是格雷戈里(或者至少是他岳母)的公寓。这里有一个可能有点异想天开的理论:格雷戈里参军是出于某种沮丧。他的妻子去世了。他的哥哥去世了。1942年2月,他在叶卡捷琳娜斯拉夫的家人可能都在gydF4y2Ba屠杀那里的犹太人gydF4y2Ba(至少如果由于早期轰炸而没有疏散)。格雷戈里在战争中早些时候没有加入军队,特别是在gydF4y2Ba莫斯科战役gydF4y2Ba.到1943年,他44岁。所以也许在一些沮丧或愤怒中 - 他为军队自愿。gydF4y2Ba

我们不知道。在这一点上,线索似乎消失了。格雷戈里似乎没有孩子,我们也没能找到更多关于他的信息。gydF4y2Ba

但我认为这是进步,我们已经确定了摩西的弟弟住在莫斯科,可能提供了一个合理的理由,摩西可能已经去了莫斯科。gydF4y2Ba

实际上,可能存在其他“家庭原因”。莫斯科和Ekaterinoslav之间的犹太人群体似乎已经存在了很多。摩西的母亲来自于此gydF4y2BaLurie家庭gydF4y2Ba这不仅在叶卡特里诺斯拉夫,而且在莫斯科都很突出。事实证明,Lurie家族做了大量的家谱研究。例如,我们能够找到一位曾经与摩西分道扬镳的表亲(即父母与摩西共有祖父母的人,或遗传基因的1/32)。但是到目前为止,没有人知道摩西发生了什么,也没有人说“哦,顺便说一下,我们有一个装满奇怪文件的箱子”或其他什么。gydF4y2Ba

我没有放弃。我希望我们还能发现更多。但这就是我们目前的研究。gydF4y2Ba

还有一件事gydF4y2Ba

除了追问摩西的命运Schönfinkel之外,我还发现了另一个潜在的联系。在编写组合子参考书目的过程中,我发现了一整套关于“组合范畴语法”和“组合语言学”的文献。gydF4y2Ba

这些是什么?这些天来,最常见的gydF4y2Ba解析英语句子gydF4y2Ba就像“我正试图追踪一段历史”是一个分层的树状结构——类似于agydF4y2Ba上下文无关的计算机语言gydF4y2Ba解析:gydF4y2Ba

但是,还有一种替代方法——事实证明,这种方法非常古老——就是使用所谓的依赖语法,在这种语法中,动词就像函数一样,“依赖”于一组参数:gydF4y2Ba

在类似的gydF4y2BaWolfram语言gydF4y2Ba,函数中的参数将以某种明确的顺序和结构出现,例如gydF4y2BafgydF4y2Ba[gydF4y2BaxgydF4y2Ba,gydF4y2BaygydF4y2Ba,gydF4y2BazgydF4y2Ba]gydF4y2Ba但是在像英语这样的自然语言中,所有的东西都是按顺序给出的,函数必须有一种方法来找出要抓取的东西。这个方法的思想是,这个过程可能就像按顺序写的组合词如何“抓取”某些元素来起作用一样。gydF4y2Ba

这种想法似乎有一个相当曲折的历史,夹杂着试图将人类语言的句法(即语法结构)与语义(即意义)联系起来的困惑。核心问题是,完全有可能有一个语法正确的句子(“飞行的椅子吃了一个快乐的分号”),但似乎没有任何“现实世界”的意义。我们应该如何思考这个问题?gydF4y2Ba

我认为gydF4y2Ba计算语言的概念gydF4y2Ba我花了这么多年的时间来研究这个问题。如果有人能用计算语言来表达某种东西,那么就有一种计算方法。也许最终的计算结果会与现实世界中发生的情况一致;也许不会。但拥有的东西总有“有意义的地方”。关键是,计算语言有一个定义明确的gydF4y2Ba内部计算表示gydF4y2Ba在计算语言中用于输入或输出的特定语法(如字符序列)只是表面现象。gydF4y2Ba

但是,没有计算语言的想法,人们一直在努力形式化语义,倾向于试图把他们正在做的事情挂在人类语言的详细结构和语法上。但是,对于语法上正确的、“没有任何意义”的结构,我们该怎么办呢?我认为这是一个相当奇怪的解决方案的一个例子,体现在所谓的gydF4y2Ba蒙图语法gydF4y2Ba从20世纪70年代开始——本质上是把某些句子的片段变成功能,其中没有什么“具体的”,只是“槽”,事情可以去(gydF4y2BaxgydF4y2Ba_吃gydF4y2BaygydF4y2Ba_”)——在那里,人们可以通过学习来“避免无意义”,而不必明确地填空。gydF4y2Ba

在最初的公式中,“函数”是用lambda来考虑的。但组合范畴语法将它们视为组合子,在句子过程中,单词在某种意义上“相互适用”。即使没有槽的概念,人们也可以做“组合语言学”,想象通过把单词“应用到”“整个句子”中来找到句子的结构,就像组合符一样。gydF4y2Ba

如果设计良好(我希望Wolfram语言是这样的!),计算语言就有一定的清晰、正式的结构。但是人类的自然语言充满了混乱,这需要通过自然语言理解来解决——就像我们这么多年来所做的那样gydF4y2Ba沃尔夫拉姆|阿尔法gydF4y2Ba,最终会转换成我们的计算语言,Wolfram语言。gydF4y2Ba

但是,如果没有底层计算语言的概念,人们往往会觉得有必要在人类自然语言中无休止地寻找形式结构。是的,有一些是存在的。但是,正如我们一直在为Wolfram|Alpha做实际的自然语言理解中看到的那样gydF4y2Ba有一条巨大的尾巴gydF4y2Ba这似乎完全颠覆了任何包罗万象的形式理论。gydF4y2Ba

是否有至少有正式结构的片段?在人类语言中,像逻辑(“和”、“或者”等)这样的东西是可以被直接形式化的。但也许还有更多的“功能”结构,可能与动词的使用有关。在组合语言学中,人们试图找到这些东西,甚至直接使用像gydF4y2BaSchönfinkelgydF4y2Ba年代gydF4y2Ba选择符gydF4y2Ba(给定)gydF4y2BaS f g xgydF4y2Ba→gydF4y2BafgydF4y2Ba[gydF4y2BaxgydF4y2Ba] [gydF4y2BaggydF4y2Ba[gydF4y2BaxgydF4y2Ba]gydF4y2Ba你可以开始想象——稍微拉伸一下——“吃橘子皮”的运作方式就像gydF4y2Ba年代gydF4y2BaCombinator的意思是“吃[橙子][剥[橙子]]”。)gydF4y2Ba

在过去的几十年里,这一切的工作都是在过去的几十年中所做的。但事实证明,其历史进一步延伸了速度,并且可能会想到与MosesSchönfinkel本人相交。gydF4y2Ba

关键的潜在联系是gydF4y2BaKazimierz Ajdukiewicz (1890 - 1963)gydF4y2Ba.Ajdukiewicz是一个波兰逻辑学家/哲学家,他们长时间试图发展“数学化理论”的意思,以及其他东西从自然语言中出现的意义,以及基本上为现在的组合语言学的早期奠定了基础。gydF4y2Ba

Kazimierz Ajdukiewicz出生于摩西Schönfinkel的两年后,并在哲学中研究了哲学,数学和物理gydF4y2Ba利沃夫大学gydF4y2Ba他于1912年以一篇关于康德空间哲学的论文获得博士学位。但是对于我们来说,最有趣的是在1913年,Ajdukiewicz去Göttingen和David Hilbert一起学习gydF4y2Ba埃德蒙·胡塞尔gydF4y2Ba.gydF4y2Ba

1914年AJDukiewicz.gydF4y2Ba出版gydF4y2Ba一篇论文是关于“希尔伯特的算术新公理体系”,另一篇论文是关于伯特兰·罗素的著作中的矛盾。然后在1915年,阿吉杜基维茨被征召到奥地利军队,在那里他一直呆到1920年,之后他去了奥地利陆军工作gydF4y2Ba华沙大学gydF4y2Ba.gydF4y2Ba

但在1914年,有一个有趣的潜在交集。因为那一年的六月正是时候gydF4y2Ba摩西Schönfinkel抵达哥廷根gydF4y2Ba和希尔伯特一起工作当时,希尔伯特主要讲授物理学(尽管他也做过一些关于“数学原理”的讲座)。令人难以置信的是,考虑到他们在数学结构基础上的相似兴趣,他们竟然没有互动。gydF4y2Ba

当然,我们不知道1914年的Schönfinkel与combinator有多接近;毕竟,他介绍他们的演讲是gydF4y2Ba六年后gydF4y2Ba但至少想象一下与Ajdukiewicz的一些互动是有趣的。Ajdukiewicz自己的作品起初最关注的是数学形式主义和意义之间的关系。(数学构造“确实存在”,因为它们的公理可以改变,等等吗?)但到了20世纪30年代初,他对自然语言非常关注,很快就开始撰写论文,题目是“句法连接”,给出了语言的正式符号描述(包括“函子”等),这让人想起了舍芬克尔的作品。gydF4y2Ba

据我所知,Ajdukiewicz从未在他的出版物中明确提到Schönfinkel。新利18官网客服但是,像组合符这样的东西完全独立地出现在两个可能彼此认识的人身上,而在其他任何地方都不会独立出现,这似乎太过巧合了。gydF4y2Ba

谢谢gydF4y2Ba

感谢Vitaliy Kaurov查找额外的文件(以及Dnipropetrovsk地区的国家档案馆和埃琳娜Zavoisia提供各种文件),Oleg和Anna Marichev解释文件,以及Jason Cawley有关军事历史的信息。谢谢Oleg Kiselyov关于这件原始版本的一些额外建议。gydF4y2Ba

发布:gydF4y2Ba历史的视角gydF4y2Ba

Baidu