我不懂数学也不懂物理
但是以神经科学的讲法齁
大脑会倾向相信自己已经相信的东西 而且会觉得自己的成见非常的
“理性” “有逻辑” “可以证明”
就算是证明是错的 在大脑的加持之下也会觉得
“合理” “正确” “#”
所以电脑的发明就很重要了
等于是第三方公正 反正他没大脑也没情绪 你code打下去
出来不对的话一定是你的问题
都读到理组了
怎么不直接拿code跑一下 一番两瞪眼 在那边用嘴巴算数学
有没有 八卦

博士虐猫，硕士约砲，学士射精在饮料，校友正在蹲苦窑教授作帐假发票，职业学生看报纸才知道。

alphago会写证明题吗

看来你也不懂CS

有道理

嘴三小，不懂就看戏啦干

........

这种只能用Coq或Adga之类的语言来写，而且还不一定能够写出来有用的证明来跑，数学系用过的都说难用目前程式语言辅助证明也只有四色图着色这个成绩而已，据说接受度也没很高。难的是方法，不是这种工具

你也不懂电脑

什么时候你开始有电脑懂数学这一个误解？

...电脑是人用数学原理制造出来的东西但是现在人们在吵的是数学原理，你跟我说用电脑解决？蠢