Daily Archives: October 25, 2013

物理定律團 1.3

Posted on by

這段改編自 2010 年 4 月 3 日的對話。

又例如，你電腦內的資料和程式是「軟件」，而裝載那些資料和程式的硬碟是「硬件」。但是，那個硬碟的設計 —— 外形、結構、運作模式 和 使用方法 等，可以視為一堆「軟件」。在這個角度下，你的電腦硬碟，亦可以視為一個「軟件團」。

而正正是因為硬碟是一個「軟件團」，同一型號的硬碟，才可以大量生產、無限複製。「硬件」和「軟件」的主要分別在於「可否複製」。我們把同一樣東西之中 ，可以複製的性質，歸納成「軟件」；不可以複製的性質，統稱為「硬件」。

「同一個」硬件，不可同時存在於兩個地方，所以「硬件」又名「物質」。「同一個」軟件，可以同時存在於兩處空間，因為「軟件」都是「模式」。

— Me@2013.10.25

2013.10.25 Friday (c) All rights reserved by ACHK

Principia Mathematica, 3.2

Posted on by

Why truth table is not used in logic?

In Principia, the authors wanted to produce an explicit list of purely logical ideas, including an explicit finite list of axioms and rules of inference, from which all of mathematics could be derived. The method of truth tables is not such a finite list, and in any case would only deal with propositional logic.

— This work is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License.

— Mathematics – Stack Exchange

— Andre Nicolas

2013.10.25 Friday ACHK