单词 | Natural Independence Phenomenon |
释义 | Natural Independence PhenomenonA type of mathematical result which is considered by most logicians as more natural than theGödel.
Gallier, J. ``What's so Special about Kruskal's Theorem and the Ordinal Gamma[0]? A Survey of Some Results in Proof Theory.'' Ann. Pure and Appl. Logic 53, 199-260, 1991. Kirby, L. and Paris, J. ``Accessible Independence Results for Peano Arithmetic.'' Bull. London Math. Soc. 14, 285-293, 1982. Smorynski, C. ``Some Rapidly Growing Functions.'' Math. Intell. 2, 149-154, 1980. Smorynski, C. ``The Varieties of Arboreal Experience.'' Math. Intell. 4, 182-188, 1982. Smorynski, C. ```Big' News from Archimedes to Friedman.'' Not. Amer. Math. Soc. 30, 251-256, 1983. |
随便看 |
|
数学辞典收录了8975条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。