Besthope-Official / Gittalk-repo

0 stars 0 forks source link

数理逻辑人话ver | Besthope's Blog #13

Open Besthope-Official opened 1 year ago

Besthope-Official commented 1 year ago

https://besthope-official.github.io/2023/03/11/%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91%E4%BA%BA%E8%AF%9Dver/#more

为了严谨性以及交流方便, 我们需要术语来描述问题: 这很好, 某些问题数学语言胜千言——但由terminology组成的句子经常会让人不知所云. 尤其对于数理逻辑, 因为是翻译文字所以句子看起来就更糟心了. 想要明白问题的核心要义, 非得二次翻译不可, 但最后描述的事情却是显而易见的.

It is not what you read, but how you read it.——Ri