2005-06-11 16:57:16楊風
電腦命理師
*經過羅斯福路台大地下道,見到一個電腦命理師,口沫橫飛地為過客算命……
像是兩串
紫紅色的水苦蕒
Goedel和Church的定理
穿越液晶銀幕,躍越出
0與1的電流束縛
遊戲在
命運的地盤外
揮灑自如。
你──
神算的電腦命理師
計較得出
天與地的福禍吉凶嗎?
微笑起來了,微笑
那兩串
紫紅色的水苦蕒。
迷惘的十指
叮咚key著鍵盤
十指外,乾坤浩浩
怎礙得了那兩串
小野花的
撲鼻香氣
(2005年6月10日)
#1931年,Goedel的「不完備性定理」(Incompleteness Theorem)證明:有些邏輯真理,永遠無法被證明。而在1930年代初期,當電腦剛剛發明,人們幻想電腦可以超越人腦之時,Church(1936)的論文宣稱:永遠不可能找到一個機械(包括電腦)的程序,用來判定所有邏輯問題的真假。這兩位邏輯學家的研究,讓機器(電腦)無所不能的幻想完全破滅。
像是兩串
紫紅色的水苦蕒
Goedel和Church的定理
穿越液晶銀幕,躍越出
0與1的電流束縛
遊戲在
命運的地盤外
揮灑自如。
你──
神算的電腦命理師
計較得出
天與地的福禍吉凶嗎?
微笑起來了,微笑
那兩串
紫紅色的水苦蕒。
迷惘的十指
叮咚key著鍵盤
十指外,乾坤浩浩
怎礙得了那兩串
小野花的
撲鼻香氣
(2005年6月10日)
#1931年,Goedel的「不完備性定理」(Incompleteness Theorem)證明:有些邏輯真理,永遠無法被證明。而在1930年代初期,當電腦剛剛發明,人們幻想電腦可以超越人腦之時,Church(1936)的論文宣稱:永遠不可能找到一個機械(包括電腦)的程序,用來判定所有邏輯問題的真假。這兩位邏輯學家的研究,讓機器(電腦)無所不能的幻想完全破滅。