今天我在a course on borel sets 一書中看到了cantor定理的一種好表述.我很喜歡這種表述.在很多書中，康托定理是這樣表述的：
自然數集合的所有子集形成的集合是不可數集.也有這樣表述的:
$2^}$是不可數集.不過在a course on borel sets 中，是這樣表述的:
所有的0-1序列形成的集合不可數.雖然這樣的表述和別的表述其實一樣，但是這樣還是直觀一些，尤其是證明起來的時候.可見，在數學裡，好的表述也很重要的啊！數學和心理學其實有莫大的關係啊，因為「數學」其實是「人學數學」，既然是人學數學，那麼容易讓人接納的就是好的。
思考一種好的架構（十二）
程式集掃瞄庫 referencescan 是什麼？服務間會有各種相互依賴和引用，這勢必會造成爭奪configureservices，到最後牽一髮而動全身。於是很自然的出現了它來解決這個問題，為什麼？為了解決服務爭奪configureservices註冊順序而誕生的庫，他就是各個服務的帶頭人，一定是它...
思考一種好的架構（十二）
事件溯源 tracingsource 資料庫事件溯源實體 table name tracingsource public class tracingsourceentity 執行時間 public datetime executetimer 執行sql public string executesq...
思考一種好的架構（九）
中介者 mediator 為了解除服務間互相引用的問題，單獨劃分出來的乙個服務 它的好處時顯而易見的，服務之間的引用將會變的清晰明了 我只在業務服務庫上使用它，普通服務和基礎設施服務還是自己管自己的，沒有使用mediatr 因為我覺得它對於net core提供的中介者功能並不是很好的用，微軟自帶的i...