逻辑学家

Boolean algebra

布氏代数

大卫.芬凯斯坦:伟大的逻辑学家乔治.布尔(George Boole),他是当今用于计算机的布氏逻辑(Boolean logic)与布氏代数(Boolean algebra)的发明人. 他最初想确切地定义什么是厂类』(class)或性质或谓词. 对于每一类,他结合一个他称之为『选举』(election)行为,

combinatory logic

组合逻辑

关于Y Combinator的文章可谓数不胜数,这个由师从希尔伯特的著名逻辑学家Haskell B.Curry(Haskell语言就是以他命名的,而函数式编程语言里面的Curry手法也是以他命名)"发明"出来的组合算子(Haskell是研究组合逻辑(combinatory logic)的)仿佛有种神奇的魔力,

deviance

变异

有些逻辑学家认为,一阶逻辑的某些基本假设、原则或前提不正确,造成了不可接受的后果,因此应予以修正,由此构造出一批逻辑系统,例如相干逻辑、直觉主义逻辑、次协调逻辑等等;它们与原来的经典逻辑系统构成"竞争"(competition)、"替代"(replacement)或"变异"(deviance)关系.

incompleteness theorem

不完整定理

当代最著名之逻辑学家哥德尔(Godel)却以"不完整定理"(Incompleteness Theorem)(14,17)证明这根本是不可能的. 一切逻辑系统,不论多么复杂,都不可能导出所有定理,其本身必是"不完整". 此亦证明佛家所言,思惟辩证、言语文字,均无法描述实相.

logician

逻辑学家

logicals 逻辑值 | logician 逻辑学家 | logicize 使合乎逻辑

logician

逻辑学家 (名)

logically 论理上; 逻辑上 (副) | logician 逻辑学家 (名) | login script 网入命令, 为连到因特网或其它计算机系统计算机执行的一组指令 (计算机用语)

Chrysippus

克吕西波

这条被称做克吕西波(Chrysippus)原则一直被大多数逻辑学家所恪守. 20年代初卢卡西维茨(J.Lukasiwicz)建立三值逻辑系统,从而打破了二值性原则的一统天下,出现了多值逻辑、部分逻辑(偏逻辑)等一系列非二值型的逻辑.

hydraulician

水力学家,水利工程师

logician 逻辑学家 | hydraulician 水力学家,水利工程师 | academician 学者,大学教师,知识分子,院士

logicize

使合乎逻辑

logician 逻辑学家 | logicize 使合乎逻辑 | login 登录

Alexander Munro III

解剖学家

Augustus De Morgan, 数学家和逻辑学家 | Alexander Munro III, 解剖学家 | Richard Owen,生物家和古生物学者

Greco-Latin square：希腊拉丁方格

Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批

cunningham：帆前角下拉索

斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul