词条 | 布尔,G. |
释义 | Bu’er 布尔,G.(卷名:数学) George Boole (1815~1864) ![]() 布尔用数学方法研究逻辑问题,成功地建立了第一个逻辑演算。他用等式表示判断,把推理看作等式的变换。这种变换的有效性不依赖人们对符号的解释,只依赖于符号的组合规律。这一逻辑理论,既可以进行公式推演,又可以对命题取作数值;例如,可以把真命题取作1值,假命题取作0值,由此复杂的命题仅作数值计算就可以求得它为真值还是假值了。这样,把已给的公式中出现的符号的逻辑解释放在一边,把它转变为表示数量的符号,但只能取0或1,对它实现求解的一切必须的步骤;最后再还给它以逻辑的解释。这一理论在布尔之后虽然也有些改进,但它的基本轮廓是布尔建立起来的,因此,人们常称它为布尔代数。20世纪30年代,逻辑代数在电路系统上获得应用,随后,由于电子技术与计算机的发展,出现各种复杂的大系统,它们的变换规律也遵守布尔所揭示的规律。因此,布尔代数的应用日益广泛,它的内容日益普及。 在19世纪中叶,布尔研究人类思维活动所揭示的规律,当时既无明显的实际背景,也不可能考虑到它的实际应用。而几十年后,从20世纪30年代开始,逐步开拓了它的应用,在理论和实践中都发挥了很大的作用。 |
随便看 |
百科全书收录78206条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。