软件更像是科学而不是数学。数学表达式是可证明的，科学理论只是可表明的。数学是演绎的。科学是经验的，软件也是经验的。我们可表明，但不证明正确性。 Software is more like scie... 详细

访问控制之“程咬金携薛刚出城” 书从何起？书从主谓宾起。主谓宾结构为一种文法的语序，即语法顺序为主语—谓语—宾语的结构，像"我吃苹果"就是一个例子，在此范例中“我”为主词（主语，物），“吃”为动词（... 详细

这本书为一个世纪后的计算机发明奠定了基础，乔治·布尔（George Boole） 的《思想法则》（The Laws of Thought） 于1854年首次出版。使用术语“布尔逻辑”或“布尔代数”表... 详细

罗素是二十世纪的巨人。作为现代分析哲学的奠基人之一，他的工作对数学，逻辑，人工智能，认知科学和计算机科学产生了重大影响。⁣⁣ 罗素认为为什么人们通常对哲学持一种不屑一顾的态度是两个主要因素造成的。首... 详细

我们的大脑采用两种思维方式来处理任何大型任务：专注和分散。两者都是同等有价值的，但用途截然不同。为了尽力而为，您需要同时掌握两者。 我们一直在追求真正的专注期–深入的工作，工作流程状态以及高效率的会... 详细

anycmd开源权限引擎准备再次创新，将用不绕弯的方式实现个开源工作流引擎，目的是以直接的方式对接程序员的思维方式，信仰这种思维模式是未来的基本技能，未来的人们应具备基本的程序思维... 详细

美国莫德纳公司CEO Bancel先生在一月份曾在瑞士参加一次商务会议，当时他听说中国武汉发生了致命的新病毒爆发。他立即联系了两位NIH疫苗专家，他的公司多年来一直与他们合作开发可用于设计疫苗的技术... 详细

把空间定义为： 一簇波，这簇波中的每一条波都相对于其它每一条波具有相对稳定的频差（这个差可以是0也可以是任何数字，只要对于观察者来说这个差不是随机的无法预测的就行），只要两条波的波频差不是随机的而是... 详细