canonical

http://spaces.msn.com/members/zbw25/Blog/cns!1pA6-3FOo9yNp_4lmEHxdDqA!248.entry

     物理和數(shù)學(xué)的新分支的產(chǎn)生多半有著哲理性的開端，而軟件中OO技術(shù)的興起想必也是有一定的哲學(xué)基礎(chǔ)的。但哲學(xué)是一種整體的，超越的認(rèn)識(shí)，當(dāng)我們?cè)趯?shí)際的應(yīng) 用中走得越遠(yuǎn)，就會(huì)發(fā)現(xiàn)現(xiàn)實(shí)的操作距離哲學(xué)的理想越遠(yuǎn)。早期面向?qū)ο罂偸枪拇祵?duì)現(xiàn)實(shí)世界的直接表達(dá)，鼓吹Object,Class的本體論含義。但現(xiàn)在我 們已經(jīng)可以清楚的感覺到面向?qū)ο蟮恼軐W(xué)隱喻存在著本質(zhì)上的困難，而軟件希望作為真實(shí)世界的翻版也必然面臨著建模的本質(zhì)性問題，即任何一個(gè)單一的模型與事實(shí) 相比總是簡(jiǎn)化的，貧瘠的。通過無限多自恰的模型構(gòu)成的概念包絡(luò)，再加上無法用技術(shù)手段表達(dá)的哲學(xué)升華，我們才達(dá)到了所謂不隨人的意志轉(zhuǎn)移的客觀世界。軟件 只能是客觀世界的一部分，而不可能是客觀世界的鏡像。
    OO技術(shù)已經(jīng)得到了深刻的發(fā)展與應(yīng)用，實(shí)際上現(xiàn)在可以不再總是需要一件哲學(xué)的外衣了。我一直強(qiáng)調(diào)繼承(inheritance)是一種推理技術(shù)，而接口 (interface)是一種正交分解技術(shù), 希望拋開OO的詮釋而從數(shù)學(xué)上為OO技術(shù)找到根基。 無論是推理還是正交分解，我們都可以在數(shù)學(xué)上嚴(yán)格的證明它們的好處， 因此OO必然是一種好的技術(shù)。至于它對(duì)現(xiàn)實(shí)世界的表達(dá)能力，那是另外一個(gè)獨(dú)立的問題。我的這種思想深受測(cè)度論(measure theory)的影響。測(cè)度論中對(duì)于概率的定義是純粹數(shù)學(xué)化，滿足一定條件的數(shù)學(xué)量就定義為概率。 至于它是否對(duì)應(yīng)于我們?nèi)粘Ｋ季S中的概率概念，那是使用者的責(zé)任，那是物理學(xué)所面臨的問題。只有通過這種公理化的定義，測(cè)度論才擺脫了概念完備性與自恰性的 問題，才擺脫了哲學(xué)上的循環(huán)論證。當(dāng)然，詮釋問題在物理學(xué)中仍然是一個(gè)非常嚴(yán)重的問題, 例如對(duì)于量子力學(xué)的Copenhagen詮釋的爭(zhēng)論從未間斷過，只是對(duì)于數(shù)學(xué)層面上的操作過程一般還能保持共識(shí)。當(dāng)然，說的深入一些，即使數(shù)學(xué)上的定義也 未必是邏輯上必然的。為什么實(shí)數(shù)軸是完備的，為什么1.999999999...的極限是2, 這實(shí)際上是一個(gè)公理: 選擇公理(axiom of Choice), 等價(jià)于Zorn引理。