哥德爾運算(Godel operations)用於構造集的基本運算.設.
w,u)Ex}，則稱由上列十種運算及它們的有限次複合構成的函式為哥德爾運算.哥德爾運算是美籍奧地利數學家哥德爾(Godel , K.)於1940年重新修改可構造集全域I的定義時引人的.
哥德爾運算(Godel operations)用於構造集的基本運算.設. w,u)Ex},則稱由上列十種運算及它們的有限次複合構成的函式為哥德爾運算.哥德爾運算是美籍奧地利數學家...
埃爾布朗一哥德爾可計算函式(Herbrand-Godelcomputable function)亦稱一般遞歸函式一種等式系可定義函式.是美籍奧地利數學家哥德爾<Godel , K.)根據法國數學家埃爾布朗(...
f}遞歸函式伽-recursive function)一類埃爾布朗一哥德爾可計算函式.是由美國邏輯學家、數學家克林(Kleene , S. C.)於1936年首先定義的一類函式.它是由本原函式...
《數理邏輯發展史:從萊布尼茨到哥德爾》是社會科學文獻出版社1993年出版的圖書,作者是張家龍。...
可計算論理論起源自哥德爾、邱奇、圖靈、克萊尼和Emil Post 在 1930 年代的工作。他們獲得的基本結果建立了圖靈可計算性作為有效計算的非正式想法的正確的形式化。...
可構造集全域(u niverse of constructible sets)是 一種可構造集模型。美籍奧地利數學家哥德爾 (Godel , K.)用於證明連續統假設與選擇公理的相容性所構造的ZF...