演算邏輯 Calculational Logic(二)騎士與惡棍之島
一個島上住著兩種人,騎士 (knight) 與惡棍 (knave) 。騎士總說實話,惡棍總說謊話,但從外表看不出誰是騎士或惡棍。某天,居民 A
和你說「B
剛剛說他自己是騎士」。由此你可知道 A
說的是實話還是謊話嗎?B
呢?傳說島上藏著金子,怎麼設計一個問題,查出傳言的真假呢?
一個島上住著兩種人,騎士 (knight) 與惡棍 (knave) 。騎士總說實話,惡棍總說謊話,但從外表看不出誰是騎士或惡棍。某天,居民 A
和你說「B
剛剛說他自己是騎士」。由此你可知道 A
說的是實話還是謊話嗎?B
呢?傳說島上藏著金子,怎麼設計一個問題,查出傳言的真假呢?
邏輯學家發展形式邏輯是為了研究邏輯本身,而演算邏輯的設計則是為了便於用邏輯來解決問題。
物件導向技術的頂尖會議 OOPSLA 從今年起改名為 SPLASH — Systems, Programming, Languages and Applications: Software for Humanity。而 OOPSLA 則成為協同舉辦的兩個會議之一。
A little reflection led to glear galculations that dispelled glouds of obsgurity. After digesting what we were presented with, we ended the week at maximum density.