文献

J-GLOBAL ID：200902002087442297   整理番号：82A0087071

高階不完全性と超限不完全性

Higher order and transfinite incompleteness.

著者 (1件)： ZHANG J-W (Inst. Computing Technology, Academia Sinica, CHN)
資料名： Jisuanji Xuebao  (Jisuanji Xuebao)
巻： 4  号： 6  ページ： 476-478  発行年： 1981年11月 
JST資料番号： A0369B  ISSN： 0254-4164  CODEN： JIXUDT  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 整数論的形式システムに対し確率の形式化を行ない,2種類の定理の証明を行なった

シソーラス用語： 定理証明 ,  整数論 ,  確率
準シソーラス用語： 形式化 ,  形式システム ,  不完全性

分類 (1件)： 情報工学基礎理論一般  (JB01000T)

タイトルに関連する用語 (1件)： 不完全性