Some Applications of Lawvere’s Fixpoint Theorem

The famous diagonal argument plays a prominent role in set theory as well as in the proof of undecidability results in computability theory and incompleteness results in metamathematics. Lawvere (1969) brings to light the common schema among them through a pretty neat fixpoint theorem which generalizes the diagonal argument behind Cantor’s theorem and characterizes self-reference explicitly in category theory. Not until Yanofsky (2003) rephrases Lawvere’s fixpoint theorem using sets and functions, Lawvere’s work has been overlooked by logicians. This paper will continue Yanofsky’s work, and show more applications of Lawvere’s fixpoint theorem to demonstrate the ubiquity of the theorem. For example, this paper will use it to construct uncomputable real number, unnameable real number, partial recursive but not potentially recursive function, Berry paradox, and fast growing Busy Beaver function. Many interesting lambda fixpoint combinators can also be fitted into this schema. Both Curry’s Y combinator and Turing’s Θ combinator follow from Lawvere’s theorem, as well as their call-by-value versions. At last, it can be shown that the lambda calculus version of the fixpoint lemma also fits Lawvere’s schema.     

场景知觉过程中的动作意图识别

场景即我们生活于其中的真实环境, 社会场景是其重要组成部分。在社会场景知觉的研究中, 动作意图的识别既受场景背景信息的影响, 也与动作的客观对象有关。因此, 研究者可以根据背景-刺激物、刺激物-刺激物关系, 探索动作识别的影响机制; 另一方面, 也可以根据场景的语义约束和物理限制, 依据合理动作原则及其伴随的生理指标检测并识别动作意图。在机器视觉研究领域, 计算机识别模型为社会场景中动作意图的检测和识别提供了新的视角。在未来的研究中, 研究者需要考虑真实场景中动作意图识别能力的发展、动作意图识别的个体差异和文化差异等问题。     

合作与竞争人格倾向测量

该研究从人格的角度,采取定性与定量两种分析手段,对合作与竞争人格倾向进行了深入探讨,并编制了测量个体合作与竞争人格倾向的量表。研究者首先在深度访谈的基础上,编制合作与竞争人格倾向测量量表并进行指标验证。探索性因素分析发现,合作与竞争倾向是两个独立的维度,并分别包含三个子因子,构成合作与竞争倾向的二维度三因子模型。研究者随后对模型的验证性分析以及多重效度检验,结果显示量表的信效度与结构模型的拟合指标均达到可接受的标准     

肿瘤免疫编辑与免疫治疗

Schreiber等人于2002年提出肿瘤免疫编辑学说。肿瘤免疫编辑分为3个阶段:清除阶段、均衡阶段和逃逸阶段。肿瘤免疫编辑学说较全面的阐释了肿瘤与宿主免疫系统之间的复杂的相互作用。肿瘤免疫编辑学说对肿瘤免疫治疗具有一定的指导意义。依据肿瘤免疫治疗实践,提出了肿瘤免疫编辑和肿瘤免疫治疗的一些观点。     

科学在中国的命运

一、科学是20世纪的时代标志我认为,20世纪推动社会发展的最重要的三种动力是:科学技术、市场经济和大众媒体。尽管在20世纪的百年史上,战争与意识形态风云激荡,为世人瞩目。众所周知,在军事上,20世纪上半叶曾     

不同学习压力觉知水平高中生家庭生态之比较

考察了170名高一学生的学习压力觉知水平,结果显示,经常感到学习压力、偶尔感到学习压力和未感到学习压力学生的比例分别为22．9％、53．6％和23．5％,不同学习压力觉知水平的人数差异极其显著。MANOVA分析发现,不同学习压力觉知水平的高中生在父母教养方式、家庭环境和学生人格等家庭生态群上总体差异显著;通过多重比较,揭示了不同学习压力觉知水平学生的家庭生态具瘁维度差异及其特点。文章从生态系统观点对中学生学习压力觉知差异进行了探讨,提出从生态重构角度对中学生进行学习减压。     

管理认知取向的研究

本文从管理认知角度,介绍渗透在管理理论中的认知心理因素,包括认知加工、管理认知方法和领导能力对组织发展的影响。在此基础上,对管理认知中的注意、归因、决策、学习、动机等进行探讨,其中对被称为是组织行为的"认知革命"的管理认知研究方法,如面试、业绩评估、信息编码、决策、期望和培训以及领导能力进行了分析。     

叙事医学中时间性的意义和临床价值

人类通过叙事展现自我,建构历史,叙事寓于时间之中,人的存在也与时间休戚相关。时间、叙事和医学,三者之间有着密切的联系,时间性是医学的五大叙事特征之一。在叙事和诊疗的过程中,叙事者和医生都需要厘清特定事件的逻辑,在时间序列中解释因果关系,寻求解决方案,文学和医学由此有了极强的共通性。叙事医学提醒医务人员关注时间性,并提供了许多具体的方法和案例,来提升医务人员对诊疗时机的把握能力,学会理解患者在医院时空中时间之流的体验,据此培养他们的共情能力,提高诊疗水平,并在积极的反思中,完成自我的成长和救赎。

     

高校教师人格特质、工作特征与工作满意度的关系研究

采用高校教师工作特征问卷、人格特质问卷、工作满意度问卷对400名高校教师进行调查。结果发现：（1）高校教师工作特征与工作满意度存在显著的正相关,工作特征中的多样性与工作本身、人际关系达到中度相关;工作特征中的完整性与工作满意度、重要性与工作满意度的五个维度均达到中度相关;工作特征中的自主性与薪酬待遇、进修提升、人际关系呈中度相关;工作特征中的反馈性与工作本身、薪酬待遇、进修提升、人际关系呈中度相关。（2）高校教师人格特质与工作满意度存在显著的正相关,人格特质中的外向性维度与进修提升呈中度相关;与领导管理呈     

正性情绪诱导下的自我参照加工：来自ERPs的证据

采用事件相关电位考察正性情绪对自我参照加工程度效应的影响。实验采用图片启动范式, 先呈现情绪图片, 然后再呈现自我参照刺激。实验发现, 在P2上, 中性情绪条件比正性情绪条件激发了更大的波幅, 高自我相关的刺激比其它刺激诱发了更短的P2潜伏期; 在N2上, 高自我相关名字比中等自我相关名字和非自我相关名字诱发了更小的N2的波幅和更长潜伏期; 在P3上, 高自我相关名字比中等自我相关名字和非自我相关名字诱发了更大的P3波幅, 中等自我相关名字比非自我相关名字诱发了更大的P3波幅。实验结果表明, 人类大脑对正性情绪刺激的加工可能是不敏感的。无论在正性情绪启动还是中性启动的影响下, 自我参照加工都能展现出稳定的特征, 而且高自我相关的刺激会得到更为深入和精细的加工, 表现出自我参照加工的程度效应。