Art
J-GLOBAL ID：200902002087442297   Reference number：82A0087071

Higher order and transfinite incompleteness.

高階不完全性と超限不完全性
  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (1)：
ZHANG J-W

About ZHANG J-W

(Inst. Computing Technology, Academia Sinica, CHN)

About Inst. Computing Technology, Academia Sinica, CHN


Material：
Jisuanji Xuebao  (Keisanki Gakuho)

About Jisuanji Xuebao


Volume： 4  Issue： 6  Page： 476-478  Publication year： Nov. 1981 
JST Material Number： A0369B  ISSN： 0254-4164  CODEN： JIXUDT  Document type： Article
Article type： 原著論文  Country of issue： China (CHN)  Language： CHINESE (ZH)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
theorem proving

About theorem proving

, 
number theory

About number theory

, 
probability

About probability


Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
formalization

About formalization

, 
形式システム

About 形式システム

, 
incompleteness

About incompleteness


JST classification (1)：
JST classification
Category name(code) classified by JST.
Fundamental theory of information processing in general 
(JB01000T)

About Fundamental theory of information processing in general

Terms in the title (1)：
Terms in the title
Keywords automatically extracted from the title.
不完全性

About 不完全性


Return to Previous Page

TOP

BOTTOM