河床博客

 布尔（Boole， George）英国数学家及逻辑学家。18i5年11月2日生于林肯：1864年12月8日卒于爱尔兰的科克。
 
布尔是鞋匠之子，他完全靠自己的力量爬上去。他原想做牧师，但是他十六岁时在私立学校教数学，
1835年，20岁的乔治.布尔开办了一所私人授课学校。为了给学生们开设必要的数学课程，他兴趣浓厚地读起了当时一些介绍数学知识的教科书。
不久，他就感到惊讶，这些东西就是数学吗？实在令人难以置信。于是，这位只学过初级数学的青年自学了艰深的《天体力学》和很抽象的《分析力学》。
由于他对代数关系的对称和美有很强的感觉，在孤独的研究中，他首先发现了不变量，并把这一成果写成论文发表。
这篇高质量的论文发表后，布尔仍然留在小学教书, 是他开始和许多第一流的英国数学家交往或通信，其中有数学家、逻辑学家德.摩根。
摩根在19世纪前半叶卷入了一场著名的争论，布尔知道摩根是对的，于是在1848年出版了一本薄薄的小册子来为朋友辩护。
这本书是他6年后更伟大的东西的预告，它一问世，立即激起了摩根的赞扬，肯定他开辟了新的、棘手的研究科目。
布尔此时已经在研究逻辑代数，即布尔代数。他把逻辑简化成极为容易和简单的一种代数。在这种代数中，适当的材料上的”推理”，成了公式的初等运算的事情，
这些公式比过去在中学代数第二年级课程中所运用的大多数公式要简单得多。这样，就使逻辑本身受数学的支配。
为了使自己的研究工作趋于完善，布尔在此后6年的漫长时间里，又付出了不同寻常的努力。
1854年，他发表了《思维规律》这部杰作，当时他已39岁，布尔代数问世了，数学史上树起了一座新的里程碑。
几乎像所有的新生事物一样，布尔代数发明后没有受到人们的重视。欧洲大陆著名的数学家蔑视地称它为没有数学意义的哲学上稀奇古怪的东西，
他们怀疑英伦岛国的数学家能在数学上做出独特贡献。布尔在他的杰作出版后不久就去世了。
20世纪初，罗素在《数学原理》中认为，”纯数学是布尔在一部他称之为《思维规律》的著作中发现的。
“此说一出，立刻引起世人对布尔代数的注意。今天，布尔发明的逻辑代数已经发展成为纯数学的一个主要分支。
布尔死于肺炎，这是由于他坚持上课而在十一月的冷雨中步行二英里淋湿后受凉而引起的。
前面对布尔作了一个基本的介绍。
毋庸置疑，布尔的贡献是极其巨大。我的问题是他的思维定律(An Investigation of the Laws of Thought)到底写了些什么?
现代计算机的应用是基于的是布尔代数方法。他的书名应该是“布尔代数”或者“逻辑的数学表示方法”什么的。他写书的初衷是
想用数学符号表示人类的思维方法吗？
找遍了整个网络也没找到电子书，这本书有版权。明天继续找！

先简单介绍下麻省理工英文全称是Massachusetts Institute of Technology。
麻省理工是美国一所私立高等学校。一译马萨诸塞理工学院。
1861年由W.B.罗杰斯创办于波士顿，1916年迁至坎布里奇市。                                                        
有人称麻省理工学院为“疯癫精神病院”。对不知内情的人业说，第一印象或许如此。然而，麻理的最成功之处在于它独特的教育方法。
它“最基本的注意点是研究，即独立地去探索新问题”。例如，有一门课是这样进行的：学生们每人得到一个装满弹簧、电机等元件的箱子，
课程要求简单而明确——自行设计、装配一台机器。恰恰是这种奇异、怪癖、与众不同的环境，造就了一大批献身教育事业、顽强拼搏且成就卓著的科学家。
也正因为如此，才使它成为全世界有志青年衷心向往的“麦加圣地”。
麻省理工的首页是http://mit.edu/
今天找到了这个中文麻省理工基于网络的教学资源http://ocw.mit.edu/OcwWeb/web/courses/lang/cn2/cn2.htm 。
其中罗列的课程都已经翻译为中文。下面是电子和计算机部分的中文资源

6.004
Computation Structures
Fall 2002

6.012
Microelectronic Devices and Circuits
Fall 2005

6.012
Microelectronic Devices and Circuits
Fall 2003

6.013
Electromagnetics and Applications
Fall 2002

6.035
Computer Language Engineering (SMA 5502)
Fall 2005

6.050J
Information and Entropy
Spring 2003

6.101
Introductory Analog Electronics Laboratory
Fall 2002

6.170
Laboratory in Software Engineering
Fall 2005

6.231
Dynamic Programming and Stochastic Control
Fall 2002

6.241
Dynamic Systems & Control
Fall 2003

6.243J
Dynamics of […]