21 Matching Annotations
  1. Apr 2021
    1. 通过safety check寻找不满足当前ranking的终止执行。如果safety check通过,有两种可能:

      1. 程序确实是终止的,且当前的ranking是valid的
      2. 程序终止的那部份可以用当前的ranking刻画,但是还存在不终止的trace。

      因此,在算法2中,还需要最后检查ranking对整个loop是否是valid的,这也是通过safety check完成。

      两次safety check有细微但是很重要的区别:当用于找出终止的反例时,断言在循环之外,表明反例必然是终止的;当用于验证ranking时,断言在循环体内,此时反例要么代表非终止的trace的前缀,要么代表不满足当前ranking的终止trace(但这已经被算法2排除)。

  2. Mar 2021
    1. 盲目崇拜”可能反而导致民族主义,可以预见,在以后的年代里,民族主义的情绪会越来越强烈和极端。

      作者的预言成真了

    1. 关于历史唯物主义,非毛主义学者一般都诉诸于正统的马克思主义观点,他们常从历史决定论出发,强调马克思主义“存在决定意识”的命题,反驳毛主义关于意识在改变历史和社会现实中起决定作用的唯意志论观点。

      历史不是机械的,而是主体和客体在矛盾中共同作用发展的。唯意志论是不对的,机械的决定论也是不对的。

      奇怪的是,在辩证唯物主义中能认识“合二为一”,在历史唯物主义这里,却诉诸于决定论

    2. 他们认为,现实主义要求按照群众的本来面目、而不是毛主义所希望的形象来描写群众,现实中多数人都属于所谓“中间人物”,他们被卷入革命洪流中,夹在革命力量与旧势力之间摇摆不定。在现实生活中,农民就属于这一类人,因此应该现实主义地反映农民在政治上的摇摆性,不用说,这当然不是毛主义希望见到的农民形象。

      我比较认同这种观点。人的主体性虽然重要,但不是一开始就有的,阶级意识必然要通过矛盾的发展和社会的进步来逐渐获得。

    3. 一些学者公开予以反驳,他们提出了一种“历史主义”理论,认为在一个既定的历史时期中,各种不同的意识形态必然要融合成为一种“时代精神”,从这一观点出发,现代中国社会的革命与非革命的意识形态将在一定程度上融合成为一种普遍的民族精神,它们之间的矛盾自然得到调和

      现在正是如此,民族主义压倒了阶级矛盾

    1. “大字报战役”的主要场所作为“民主墙”而为人所知,赫鲁晓夫谴责斯大林的秘密报告的第一份中译稿就出现在这里,是译自纽约《工人日报》的节选本。

      毛发动反右的一个原因也是在此。有匈牙利的前车之鉴,不能让运动无限制地发展下去。

    2. 具有讽刺和可悲意味的是,正是毛邀请知识分子参加“大鸣大放”运动,知识分子对社会和政治提出的批评与毛基本一致,但也正是这样而为毛所迫害。毛虽然在平均主义和反官僚主义的目标上与知识分子相同,但他不赞成他们关于自由和民主的观点。毛不愿意承认,建设政治民主制度,从制度上保证思想自由,是建设社会主义的重要部分。

      知识分子是很矛盾的群体,他们可以被利用来反对官僚主义,但同时他们自身也是特权阶层的一部分,无论是技术官僚还是“独立”的知识分子都是如此。在当时,知识分子处于相当微妙和尴尬的位置,毛需要他们来反对官僚,但又从根本上不信任他们。

    1. 在第一个五年计划期间,受工业化职业规范和价值观影响的“新干部”,使那些坚持朴素价值观和革命英雄主义理想的“老革命”相形见绌。随着工业化的发展,技术员、工程师亦取代了革命者成为新的社会楷模,“新”“老”干部之间的冲突和矛盾日益加剧。

      技术官僚开始掌握权力

    2. 正如中国的马克思主义革命者没有站在历史的进程之外,消极地等待资本主义为革命奠定物质和社会基础一样,执政的中国马克思主义者也没有依赖经济发展的“自然”过程产生社会主义或创造社会主义的物质前提。

      必须发挥主体性才能真正地改变世界

    1. when we look for [a] boundary of the extension of [a vague term] in its penumbra, our very looking has the effect of changing the [extension] of the vague expression so that the boundary is not where we are looking.

      这种说法就和量子力学差不多……

  3. Feb 2021
    1. We implement our approach on top ofthe tool FreqTerm [9]. It is a powerful tool that uses the standardinductiveiRF-based method to prove termination.

      也就是SyGus那篇

    1. In general, if μ\mu is an invariant map, then any transition τ=(ℓ,ℓ′,ρ)\tau=(\ell, \ell^{\prime}, \rho) can be safely strengthened by replacing the transition relation ρ\rho by μ(ℓ)∧ρ\mu(\ell)\wedge\rho.

      这是比较常见的用不变式增强转移关系的方法。

    1. The analog estimation abilities exhibited by the Pirahã are a kind of numerical competence that appears to be immune to numerical language deprivation. But because lower animals also exhibit such abilities

      也就是说,在不借助语言以及其中的数字表示系统的情况下,人类以及更低等的生物普遍能够辨认3以下的数字,这是一种本能。即使是发达地区的成年人,在不进行计数的情况下也是如此。语言影响的更多是计数系统?

    1. 根据我们对古代最文明、最发达的民族所能做的考察,一夫一妻制的起源就是如此。它决不是个人性爱的结果,它同个人性爱绝对没有任何共同之处,因为婚姻和以前一样仍然是权衡利害的婚姻。一夫一妻制是不以自然条件为基础,而以经济条件为基础,即以私有制对原始的自然长成的公有制的胜利为基础的第一个家庭形式。

      当然,并不是说一夫一妻制没有个人性爱。恩格斯在这里说明的是其历史的起源,即确立父系的需要

  4. Jan 2021
    1. 共产制家庭经济意味着妇女在家庭内的统治,正如在不能确认生身父亲的条件下只承认生身母亲意味着对妇女即母亲的高度尊敬一样

      原始共产制中,家庭劳动很重要

    2. 如果我们现在从普那路亚家庭中取它的两个典型集团之一,即由一群姊妹——同胞的和血统较远的,亦即同胞姊妹所派生的第一等级、第二等级或更远的姊妹——连同她们的子女以及她们母方的同胞兄弟和血统较远的兄弟(按照我们的前提,他们不是她们的丈夫)所组成的集团来看,那末摆在我们面前的这一群人正是后来构成原始形式的氏族的成员。她们全体有一个共同的女祖先;由于出自同一个女祖先,后代的所有女性每一代都是姊妹。但是,这些姊妹的丈夫们,已经不能是她们的兄弟,从而不能是出自这个女祖先的,因而也不包括在后来成为氏族的这个血缘亲属集团以内了;然而,他们的子女却属于这个集团,因为只有唯一确知的母方世系才具有决定的作用。自一切兄弟和姊妹间,甚至母方最远的旁系亲属间的性交关系的禁例一经确立,上述的集团便转化为氏族了,换言之,即组成一个确定的、彼此不能结婚的女系血缘亲属集团;从这时起,这种集团就由于其他共同的社会制度和宗教制度而日益巩固起来,并且与同一部落内的其他氏族区别开来了。

      氏族的诞生

    1. 可见,国家决不是从外部强加于社会的一种力量。国家也不像黑格尔所断言的是“道德观念的现实”,“理性的形象和现实”。[181]勿宁说,国家是社会在一定发展阶段上的产物;国家是表示:这个社会陷入了不可解决的自我矛盾,分裂为不可调和的对立面而又无力摆脱这些对立面。而为了使这些对立面,这些经济利益互相冲突的阶级,不致在无谓的斗争中把自己和社会消灭,就需要有一种表面上驾于社会之上的力量,这种力量应当缓和冲突,把冲突保持在“秩序”的范围以内;这种从社会中产生但又自居于社会之上并且日益同社会脱离的力量,就是国家。

      调和阶级矛盾

    2. 除了自由人和奴隶之间的差别以外,又出现了富人和穷人间的差别,——随着新的分工,社会又有了新的阶级划分。各个家庭首长之间的财产差别,炸毁了各地仍然保存着的旧的共产制家庭公社;同时也炸毁了在这种公社范围内进行的共同耕作制。耕地起初是暂时地、后来便永久地分配给各个家庭使用,它向完全的私有财产的过渡,是逐渐完成的,是与对偶婚制向一夫一妻制的过渡平行地完成的。个体家庭开始成为社会的经济单位了。

      发生在第二次大分工后

    1. 家庭的发展是与此并行的,不过,这一发展对于时期的划分没有提供这样显著的标志

      社会的发展主要取决于生活资料生产的进步