首页 >> 形式逻辑

The Mathematicians

计算的极限(八):符号的框架

Filed under: 数学,计算机科学 发表于 2015-09-07 19:33

要知道,逻辑体系种类繁多,从弗雷格电路图一般的“概念文字”,到罗素和怀特黑德的《数学原理》中略显奇异的近代逻辑符号,再到现代一般使用的一阶逻辑,又到更复杂的模态逻辑与线性逻辑,甚至到现代如雨后春笋层出不穷的新逻辑体系,它们无论是符号、意义还是表达范围都千奇百怪,要找到一个能囊括过去、现在甚至未来出现的定义,这无疑是个令人挠头的工作。

不粗不细说偏头疼(二)

Filed under: 医学 发表于 2010-03-11 14:10

常见的偏头痛,其治疗方式的成熟并不是一蹴而就的,例如简单的麦角胺药效验证就伴生了双盲实验的发展,而其间还需要形式逻辑和统计学的帮助。至于偏头痛的病理研究,更是一波三折,且听八爪细心为你我解读。