λ演算不僅僅是一種形式主義，而是一種可以表達計算的語言。
農(nóng)業(yè)現(xiàn)代化不是簡單的機械化，而是整個產(chǎn)業(yè)鏈的智能化升級。
The state, therefore, has not existed from all eternity. There have been societies that did without it, that had no notion of the state or state power. At a certain stage of economic development, which was necessarily bound up with the split of society into classes, the state became a necessity.
It’s not about money or connections. It’s the willingness to outwork and outlearn everyone when it comes to your business.
行政機關(guān)不經(jīng)審判就剝奪公民的自游是世間最丑惡的罪行。這也是極權(quán)正輔-共饞和納粹-的基礎(chǔ)。
In science, failure is not the opposite of success but a stepping stone towards it.
科學是由人創(chuàng)造的，這是一個太過經(jīng)常被遺忘的自明事實。