theorem
安德鲁• 维尔斯 (Andrew John Wiles) (1953年出生) 现为美国普林斯顿大学数学系教授。安德鲁.维尔斯教授是英国牛津大学理学士,剑桥大学哲学博士(1979年),追随父亲教学之路,他当上哈佛大学助理教授,1982年任高等研究学院讲师和普林斯顿大学数学系教授。1994年,安德鲁.维尔斯教授获任普林斯顿大学的尤金希金斯(Eugene Higgins)数学系教授
今天才意识到,学物理的人说二维曲面的曲率(curvature)的时候,其实有两种不同的定义… 一种是微分几何里那种定义(Gaussian Curvature);另一种只是简单的定义为曲面函数的拉普拉斯算符(Laplacian)… 而且貌似很多人在说起曲率的时候理所当然的都觉得大家都用的自己的那种定义,而不知道有另外一种定义存在,于是造成了我对这个概念一直以来就有点混乱,现在终于清楚了… 这篇文章稍微详细的辨析一下这两种曲率的定义。 (1)曲率的第一种定义 Gaussian Curvature 为 \(K_G=\kappa_1*\kappa_2\)。这种定义是微分几何中会见到的定义,这种曲率是 intrinsic 的,是那个跟三角形内角和的大小直接联系的曲面曲率,见 Gauss-Bonnet Theorem
在理论计算机科学中,CAP定理(CAP theorem),又被称作布鲁尔定理(Brewer's theorem),它指出对于一个分布式计算系统来说,不可能同时满足以下三点:[1][2] 一致性(Consistency) (等同于所有节点访问同一份最新的数据副本) 可用性(Availability)(每次请求都能获取到非错的响应——但是不保证获取的数据为最新数据) 分区容错性(英语:Network partition)(Partition tolerance)(以实际效果而言,分区相当于对通信的时限要求。系统如果不能在时限内达成数据一致性,就意味着发生了分区的情况,必须就当前操作在C和A之间做出选择[3]。) 根据定理,分布式系统只能满足三项中的两项而不可能满足全部三项[4]