Rock It 《ML》JupyterLab 【丁】Code《七》語義【六】解讀‧四‧Racket 五

金星伴月

古來就有『晨星』『暮星』之;當日太白金星之為天神。又以朝見謂之『啟明』,夕位西而曰『太白』,主殺伐。此事東西皆然,祇可抱之以微笑 Smile 了!!

由於人們對於語言文字習以為常,以至於論述時其『所指』到底『存在』或是『不存在』反而不甚了了了。比方說吧

白色的念頭躺在茵茵的草地上

,這句話要作何解釋?如果用下面的議論可以嗎?

白色的念頭在我的腦海裡,我躺在茵茵的草地上之故

西方中世紀的繁瑣哲學能夠論證一根針尖上有多少個天使在跳舞』,這能相信嗎??繼《概念文字》一書之後,於一八九二年弗雷格發表了兩篇重要的論文《論概念和對象》與《論意義和指稱》,開了『符號學』的大門,深入『語意學』的廳堂,將分析哲學推向另一座高峰。那這門學問到底說些什麼呢?比方說『』這個字吧︰一、馬字是個象形的符號;二、它是像著自然中可見的『那種動物 』── 馬是什麼?這構成了馬的『概念』,它可用以分辨『異同於馬』之物 ──;三、那種動物就是馬的『指稱』;四、這個指稱成為馬字代表的『意義』。當人們有了很多自然的、社會的『事事物物』的概念之後,或許『忘了』符號總是『抽象的』,不同於它所代表存在之事物,更不要說事物可能進化變遷,而符號也會在世代間存有差異。就像『獨角獸』一詞所說的那種獸果真存在嗎?一定不存在嗎?如果有一隻『獨角牛』,那它是『獨角獸』嗎?假使將來發現一種『獨角馬』,那它也是『獨角獸』嗎?其次符號符號的用法是『兩回事』,有人是否『意有別指』,特不加以區分故說著︰『戰爭』一點也不可怕它只是兩個字』!!再者,抽象的概念又可能會發生『自我指涉』的情況,舉例說︰

框框裡的這句話是『假的』。

,它自己說自己是假話,真是假作真時真亦假!!因此當用『集合論』時,這個

{ x | P x}

所說的 ── 所有擁有『 P 屬性』的這種東西構成一個集合 ──這個集合是否會矛盾呢?會不會是個什麼都沒有空集合呢?這就需要小心的了。其實悖論還常常能有『大用』,建構彼此互相『矛盾』的命題,揭示『不相容』於『已證明』的事物,這就是所謂的『歸謬證法』,比方說幾何學之父的歐幾里得 ── 或許是師法畢達哥拉斯 ──的 \sqrt {2} 是無理數的證明︰
假設 \sqrt {2}  是有理數,可以寫成無公因數的最簡分數 P/Q,也就是 \sqrt {2}  = P/Q 。
所以,2‧Q^2 = P^2 ,這樣 P 就一定是『偶數』,就說 P = 2‧S 吧,將它代入上式,得到
Q^2 = 2‧S^2 ,這樣 Q 也一定是『偶數』,
於是假設矛盾,證明了『結論』。

─── 《{X|X ∉ X} !!??

 

於是我們可以說︰ PyonR 之語義及語境與 Python 2.7 並不『對等』 equivalent 。就像『…』的解釋實有『差異』也︰

 

rock64@rock64:~python Python 2.7.13 (default, Sep 26 2018, 18:42:22)  [GCC 6.3.0 20170516] on linux2 Type "help", "copyright", "credits" or "license" for more information. >>> l = [] >>> l.append(l) >>> print l [[...]] >>></pre>    <span style="color: #666699;">那麼是否是 <a style="color: #666699;" href="https://beautifulracket.com/appendix/glossary.html#source-to-source-compiler">source-to-source com­piler</a></span>  <span style="color: #808080;"><strong>source-to-source com­piler</strong> A <a class="glossary" style="color: #808080;" href="https://beautifulracket.com/appendix/glossary.html#compiler"><span class="glossary-link-text">com­piler</span></a> that con­verts the <a class="glossary" style="color: #808080;" href="https://beautifulracket.com/appendix/glossary.html#source-code"><span class="glossary-link-text">source code</span></a> of one lan­guage into the source code of another. All Racket-imple­mented lan­guages are essen­tially source-to-source com­pil­ers from the source lan­guage to Racket. Also called a <a class="glossary" style="color: #808080;" href="https://beautifulracket.com/appendix/glossary.html#transcompiler"><span class="glossary-link-text">transcom­piler</span></a>.</span>  <span style="color: #808080;">※ 註︰</span>  <img class="alignnone size-full wp-image-97045" src="http://www.freesandal.org/wp-content/uploads/PyonR_1-1.png" alt="" width="515" height="370" />     <span style="color: #666699;">有所侷限呢?</span>  <span style="color: #666699;">對比著 <a style="color: #666699;" href="https://github.com/brownplt/lambda-py">lambda-py</a> 的結果︰</span> <pre class="lang:default decode:true ">rock64@rock64:~ cd lambda-py/base/
rock64@rock64:~/lambda-py/basecat test.py  l = [] l.append(l) print(l)  rock64@rock64:~/lambda-py/base cat test.py |racket python-main.rkt --interp
已砍掉
rock64@rock64:~/lambda-py/baserock64@rock64:~/lambda-py/base echo "print('lambda-py works')" | racket python-main.rkt --interp
lambda-py works

 

陷入沉思哩!

因此先試著深入了解美麗球拍呦☺

Beau­ti­ful Racket / tuto­ri­als

 

……

………