邏輯是消除歧義的工具

邏輯是消除歧義的工具，我們平時使用的語言---》自然語言，是極易產(chǎn)生歧義的，程序員必須走出自然語言歧義的迷宮(Maybe，可能等自然語言)。程序只有0和1，true或false，><=。

致對邏輯持否定意見的讀者----》對程序員來說，運(yùn)用邏輯思考問題至關(guān)重要，計算機(jī)可不管我們的喜怒哀樂，它總是按照邏輯運(yùn)行(0和1)。

“程序，給我好好運(yùn)行啊!”，無論怎樣對它說多少次，邏輯上有錯的程序都不會正確運(yùn)行。反之，邏輯上正確，程序運(yùn)行幾百萬次也不會出錯，因此也不必?fù)?dān)心程序不好好運(yùn)行，程序是不為我們的感情所動的。

很多人都覺得，"邏輯冰冷且機(jī)械死板"，確實(shí)，邏輯有這種特征，但正因如此，它才有用，人類易被感情左右，但計算機(jī)不同，正因?yàn)樗淝覚C(jī)械死板，計算機(jī)才會一直穩(wěn)定地運(yùn)行，給我們所用。

程序員處于人類和計算機(jī)的分界線上(中間，人與機(jī)器的中間，我們是人，我們有感情，我們是程序員，我們不能有太多的感情。)，只要做到邏輯性的思考和表達(dá)，就不會被常識和感情所困，從而寫出符合要求的規(guī)格說明和程序。程序員應(yīng)努力將問題轉(zhuǎn)化為程序，讓計算機(jī)有活可干。

邏輯是消除歧義的工具，我們平時使用的語言---》自然語言，是極易產(chǎn)生歧義的，程序員必須走出自然語言歧義的迷宮(Maybe，可能等自然語言)。程序只有0和1，true或false，><=。

致對邏輯持否定意見的讀者----》對程序員來說，運(yùn)用邏輯思考問題至關(guān)重要，計算機(jī)可不管我們的喜怒哀樂，它總是按照邏輯運(yùn)行(0和1)。

“程序，給我好好運(yùn)行啊!”，無論怎樣對它說多少次，邏輯上有錯的程序都不會正確運(yùn)行。反之，邏輯上正確，程序運(yùn)行幾百萬次也不會出錯，因此也不必?fù)?dān)心程序不好好運(yùn)行，程序是不為我們的感情所動的。

很多人都覺得，"邏輯冰冷且機(jī)械死板"，確實(shí)，邏輯有這種特征，但正因如此，它才有用，人類易被感情左右，但計算機(jī)不同，正因?yàn)樗淝覚C(jī)械死板，計算機(jī)才會一直穩(wěn)定地運(yùn)行，給我們所用。

程序員處于人類和計算機(jī)的分界線上(中間，人與機(jī)器的中間，我們是人，我們有感情，我們是程序員，我們不能有太多的感情。)，只要做到邏輯性的思考和表達(dá)，就不會被常識和感情所困，從而寫出符合要求的規(guī)格說明和程序。程序員應(yīng)努力將問題轉(zhuǎn)化為程序，讓計算機(jī)有活可干。