1. Godel numbering (40%) 20世紀的數理哲學家哥德爾(KurtGodel)為了證明他所提出的不完備定理,曾設計了一個numbering函式,在先定義了符碼的編碼 意義後,能將每個邏輯句式轉譯成一個唯一的自然數(後被稱作哥德數Godelnumber)。以下的表格一代表了(簡化後的)編碼表 (請注意:表中符碼與編碼的對應是打次序的),表格二則列出自然語言、述詞輯和哥德爾數之的對應。