1樓：Arjuna
舉乙個生活中碰到的例子。
我在上海中國工商銀行多處的ATM機取款，取款前如果想先檢視一下餘額，那麼機器就會自動把我的卡退出來，說無法識別。如果我不檢視餘額，直接輸入需要提取的錢數，那麼一切操作都正常。
在設計程式的時候，能確保只要不產生機械故障，都不會意外退卡，這不是非常重要的嗎？
從語法，到設計，到實施，每乙個步驟都值得用定理來核實。
尤其是涉及到人民群眾的生命和財產安全的情況下，在物理保障之外，數學（經過形式證明核實的操作程式）保障是不是也應該有？電梯驚魂，執法記錄儀意外失靈，這些我們不希望看到的情況都可以，也應當大大減少。
2樓：Blackops
如果說程式設計競賽的話，記得暑假那會兒多校有一道題，給你n個人中每個人和其他人的關係，要麼認識要麼不認識，問你是否存在至少三個人互不認識或互相認識，當時資料弱暴力+即時判斷退出就可以過了，後來發現這題涉及拉姆齊定理，大於等於6個人的時候一定存在這麼三個人，否則再暴力判斷一下，這樣是不是就省去了很多功夫呢？（滑稽）
非要說程式設計，在影象處理裡有能量最小化的一種處理，它用到了最小割-最大流定理。
3樓：LemonHX
除了能知道你的程式背後的抽象對不對之外、沒鳥用……
你看人家C艹，證明不了還不是照樣用？
你看人家Scala證明不了就已經號稱函式式了......
亥姆霍茲定理的推導過程中微分運算元為什麼能隨便拿到積分外面或者裡面？
鄭易之 這個本質上就是微積分裡的Leibniz Rule，說的是 當積分運算 微分運算的自變數不同時，積分 微分順序可以互換 只不過在亥姆霍茲定理的推導過程中，微分運算變成了微分運算元運算，換了件馬甲就讓你看不出來了。一 基礎版Leibniz Rule 基礎版的Leibniz Rule即 證明過程 ...
動物從出生到死亡過程中是否演化？以及，什麼樣的情況下會導致動物演化，藉此討論先有雞或先有蛋
已登出 先有雞還是先有蛋？肯定是先有雞！先看看雞的定義 雞 學名Gallus gallus domesticus 鳥綱雞形目雉科。也就是說，自然界中所有遺傳學 生理學上符合這個特徵的物種就叫雞。那麼問題來了。人類一般吃的那種雞蛋是未受精的雞蛋，體內只有一套遺傳物質。也就是說這種雞蛋可以認為是雞的生殖...
硬拉過程中腰部肌肉代償的機理是什麼樣的
開玩笑 沒事拉這麼重幹嘛？剛學幾個月就想著拉幾百公斤麼？你以為大肌霸都是想出來的？啟動階段，臀部盡量抬高但不要高過肩背，保持大腿後側 背部肌肉緊張，髖部在保持高度不變的情況下，水平方向上盡可能靠近槓鈴，小腿盡可能垂直地面，然後 爆發力，起！太重的重量會使你在啟動之後迅速動作變形，腰疼也是活該。事實上...