邏輯是消除歧義的工具

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

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

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

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

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

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

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

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

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

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