1樓：
可行，這本身就是研發計算機的早期目標之一（把數學研究乃至演繹推理徹底自動化）：
Automated reasoning
直到現在也是電腦科學的乙個專門分支，雖然發展後勁遠遠跟不上前輩對它的期望就是了（本來是想從這條道路直接得到有自主思考能力的計算機）。
比較腦洞大開的思路是什麼呢？注意到電腦程式本身如何改進也是乙個數學命題（因為程式自身可以看做數學物件），所以自我進化能力最強的人工智慧是可以通過不斷證明關於自己的數學命題來逐步改善自己的，這種設想中的人工智慧叫做哥德爾機：
Gdel machine
2樓：
1959 年， 王浩在「IBM 704 計算機」上用 9 分鐘計算時間， 證明了羅素、 懷特海所著《數學原理》中數百餘條數理邏輯定理； 因此在 1983 年於國際人工智慧聯合會議榮獲 「首屆證明自動化獎」 (the first Milestone Prize for Automated Theorem-Proving)。
3樓：
計算機證明（1） | 數學與計算機
計算機證明（2） | 數學與計算機
計算機證明（3） | 數學與計算機
計算機證明（4） | 數學與計算機
計算機證明（5） | 數學與計算機
計算機證明（6） | 數學與計算機
計算機證明（7） | 數學與計算機
漢語言轉計算機可行嗎？
可行啊，沒什麼不行的。其實這件事主要還是看你個人的興趣。如果你個人的興趣濃厚，那麼通過網上的一些課程自學一兩年找到實習是沒有問題的。看到你說二學位的問題，我個人的意見是可以轉也可以不轉。計算機這個行業是出了名的英雄不問出處，只要你能寫好程式，沒有人關心你有沒有計算機的學位。其次，現在大學裡的計算機教...
自學轉IT計算機行業，真的可行嗎？
古月星海 自學轉行IT是有可能的 但是前提是要有方向 判斷哪些內容比較不重要哪些比較重要 否則容易浪費時間在鑽牛角尖 了解缺了哪些技能知識點 一一去補足 最後去完成任何程式設計專案 記得一定要 project based 記得一定要 project based 記得一定要 project based...
主修數學輔修計算機vs主修計算機輔修數學哪個組合價效比更高？
安奇 主修你最想修的，你自己的本專業會有排名加權獎學金，很多外在的東西和環境推動你去學習，但是輔修真的全靠自己。而且肯定是主修的學得多學得細，自己衡量。 emm 輔修tag打太前了吧，甚至還邀了我？我不是計算機也不是數學系的，然後教招是什麼東西啊 所以 這個回答基本是沒有幫助的 從周圍同學的說法來看...