{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T22:51:00Z”，“时间戳”：1725490260040}，“出版商位置”：“柏林，海德堡”，“参考计数”：37，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“9783540 424963“}，{”类型“：“electronic”，“value”：“9783540446835”}]，“license”：[{“start”：{“date-parts”：[[2001,1,1]]，“date-time”：“2001-01-01T00:00:00Z”，“timestamp”：97830720000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]striction“：false}，”short-container-title“：[]，“published-print”：{“date-parts”：[2001]]}，“DOI”：“10.1007\/3-540-44683-4_28”，“type”：“book-chapter”，“created”：{“date-ports”：[[2007,8,29]]，“date-time”：“2007-08-29T01:32:38Z”，“timestamp”：1188351158000}，”page“：”316-327“update-policy”：”http://dx.DOI.org\/10007\/springer_crossmark _策略“，”源“：”Crossref“，”is-referenced-by-count“：16，”title“：[“随机性和可还原性”]，“前缀”：“10.1007”，“作者”：[{“给定”：“罗德·G”，“家族”：“唐尼”，“序列”：“第一”，“从属关系”：[]}，{“给出”：“丹尼斯·R”，“家庭”：“赫施费尔特”，“顺序”：“附加”，“隶属关系”：[]}“，”published-online“：{”date-parts“：[2001,9,5]]}，“reference”：[{“key”：“28_CR1”，“series-title”：“Contemp.Math.”，“first page”：”1“，“volume-title”：”可计算性理论及其应用“，“author”：“K.Ambos-Spies”，“year”：“1999”，“unstructured”：“K.Ambos-Spies and A.Ku\u010dera，可计算性论中的随机性，收录于P.A.Cholak，S.Lempp，M.Lerman，and R.A.Shore（eds.）《可计算性理论及其应用》（Boulder，CO，1999），Contemp第257卷。数学。（Amer.Math.Soc.，Providence，RI，2000）1\u201314.“}，{”key“：”28_CR2“，”doi-asserted-by“：”publisher“，”first page“：“676”，”doi“：”10.1006\/jcom.2000.0561“，”volume“：‘16’，”author“：”K.Ambos-Spies“，”year“：”2000“，”unstructured“：”K.Ambos-Spies，K.Weihrauch，and X.Zheng，Weakly computable real numbers，J.Complexity 16（2000）676\u2013690“，”journal-title“：”J.Complexity“}，{“key”：“28_CR3”，“unstructured”：“C.S.Calude，C.e.随机实数的表征，将出现在Theoret.Compute.Sci.”}，}“volume-title”：“理论计算机科学专著”，“年份”：“1994”，“作者”：“C.S.Calrude”，“密钥”：“28 _CR4”，“非结构化”：“C S。Calude，Information and Randomness，a Algorithmic Perspective，理论计算机科学专著（Springer-Verlag，Berlin，1994）。“}，{”key“：”28_CR5“，”doi-asserted-by“：”publisher“，”first-page“：”319“，”doi“：”10.1038\/22435“，”volume“：“400”，”author“：”C.S.Calude“，”year“：”1999“，”unstructured“：”C.S.Calude and G.Chaitin，随处可见，Nature 400（1999）319\u2013320。“，”journal-title“：”Nature“}”，{“key”：“28_CR6”，“doi-assert-by”：“cross”参考“，”首页“：”225“，”doi“：”10.1007\/978-3-642-60207-8_20”，“卷标题”：“珠宝永恒”，“作者”：“C.S.Calude”，“年份”：“1999”，“非结构化”：“C.S.Calude和R.J.Coles，初始分段的程序大小复杂性和支配还原性，见J.Karhum\u00e4ki、H.Maurer、G.P\u0103un和G.Rozenberg（编辑），《珠宝永恒》（Springer Verlag，柏林，1999）225\u2013237.“}，{“key”：“28_CR7”，“series-title”：“London Math.Soc.课堂讲稿Ser.”，“first page”：”23“，“volume-title”：”模型和可计算性“，“author”：“C.S.Calude”，“year”：“1997”，“unstructured”：“C.S.Calude，R.J.Coles，P.H.Hertling，and B.Khoussainov，可计算可枚举实体的程度理论方面，收录于S.B.Cooper和J.K。Truss（eds.），《模型和可计算性》（Leeds，1997），《伦敦数学》第259卷。Soc.课堂讲稿Ser。（剑桥大学出版社，剑桥，1999）23\u201339.“}，{“key”：“28_CR8”，“series-title”：“计算机科学课堂讲稿”，“首页”：“596”，“volume-title”：《离散数学和理论计算机科学研究报告系列中心》，“author”：“C.S.Calude”，“year”：“1997”，“unstructured”：“C·S·Calude，P.H.Hertling，B.Khousainov，and Y。Wang，Recurrively enumerable reals and Chaitin\u03a9 numbers，Centre for Discrete Mathematics and Theory Computer Science Research Report Series 59，Auckland大学（1997年10月），STACS 98扩展摘要，《计算讲义》。科学。1373，Springer，Berlin，1998，596\u2013606。“}，{“key”：“28_CR9”，“first page”：”1162“，“volume”：：“3”，“author”：“C.S.Calude”，“year”：“1998”，“unstructured”：“C.S.Caluge and A.Nies，Chaitin\u03a9 numbers and strong reducibilities，J.Univ.Comp.Sci.3（1998）1162\u20131166。”，“journal title”：“J.Univ Comp.Sci.”}，}“key:”28_C R10“，“非结构化”：“G.S。Ceitin，一个伪基本序列，与单调序列Zap不等价。Nau\u010dn。塞姆·列宁格勒。奥德尔。Mat.Inst.Steklov公司。（LOMI）20（1971）263\u2013271，290，俄语，英文摘要。“}，{”key“：”28_CR11“，”doi-asserted-by“：”crossref“，”first-page“：”329“，”doi“：”10.1145\/321892.321894“，”volume“：“22”，”author“：”G.J.Chaitin“，”year“：”1975“，”unstructured“：”J.Chaitin，程序大小理论形式上与信息论相同，J.Assoc.Comput.Mach.22（1975）329\u2013340，转载于[14]。“，”journal-title“：”J Assoc。计算。机器。“}，{”key“：”28_CR12“，”doi-asserted-by“：”publisher“，”first-page“：”350“，”doi“：”10.1147\/rd.214.0350“，”volume“：“21”，”author“：”G.J.Chaitin“，”year“：”1977“，”unstructured“：”G.J.Chaitin，Algorithmic information theory，IBM J.Res.Develop.21（1977）350\u2013359，496，转载于[14]。：“28_CR13”，“doi-asserted-by“：”publisher“，”first page“：”119“，“doi”：“10.1016\/0196-8858（87）90010-8”，“volume”：“8”，”author“：”G.J.Chaitin“，”year“：”1987“，”unstructured“：”G.J.Caitin，随机实不完全性定理，应用程序高级。数学。8（1987）119\u2013146，转载于[14]。“，”journal-title“：”申请中的高级。数学。“}，{”key“：”28_CR14“，”volume-title“：”计算机科学系列“，”author“：”G.J.Chaitin“，”year“：”1990“，”unstructured“：”G J.Chaitin，Information，Randomness&Incomplete，vol.8 of Series in Computer Science，2nd ed.（World Scientific，River Edge，NJ，1990）。“，”edition“：”2nd ed.}doi-asserted-by“：”crossref“，”first page“：”195“，“doi”：“10.1007\/3-540-44693-1_17”，“volume-title”：“SIAM J.Comp。“，”author“：”R.Downey“，”year“：”2001“，”unstructured“：”R Downey，D.R.Hirschfeldt，and A.Nies，《随机性、可计算性和密度》，发表于SIAM J.Comp。（扩展摘要摘自A.Ferreira和H.Reichel（编辑），STACS 2001年会议录，2010年计算机科学讲稿（Springer，2001），195\u2013205）。“}，{”key“：”28_CR16“，”unstructured“：”R.Downey和G.LaForte，可计算可枚举实型的表示，出现在Theoret.Compute.Sci.“}”，{“key”：“28_CR17”，“doi-asserted-by”：“crossref”，“unstructure”：“L.Fortnow，Kolmogorov complex，出现在R.G.Downee和D.R.Hirschfeldt（eds.）中《复杂性的方面，算法、复杂性和计算代数的微型课程》，新西兰凯库拉NZMRI数学夏季会议，201315年1月7日，2000年年：“1999”，“非结构化”：“C.Ho，相对递归实函数和实函数，Theoret。计算。科学。210（1999）99\u2013120.”，“新闻标题”：“理论。计算。科学。“}，{”key“：”28_CR19“，”doi-asserted-by“：”publisher“，”first-page“：”95“，”doi“：”10.1007\/BF01744572“，”volume“：“16”，”author“：”K.-I.Ko“，“year”：“1983”，“unstructured”：“K.-I.Ko，《关于实数复杂性类的定义》，《数学系统论》16（1983）95\u2013100.“，”journal title“：”Math.Systems Theory“}”，{“key”：“28_CR20”，“”doi-asserted-by“：”publisher“，”first-page“：”299“，”doi“：”10.1016\/0304-3975（86）90154-4“，”volume“：”47“，”author“：”K.-I.Ko“，“year”：“1986”，“unstructured”：“K.-I.Ko，关于可计算实数的连分式表示，Theoret。计算。科学。47（1986）299\u2013313.”，“新闻标题”：“理论。计算。科学。“}，{”key“：”28_CR21“，”doi-asserted-by“：”publisher“，”first page“：“157”，”doi“：”10.1080\/00207166808803030“，”volume“：2”，”author“：”A.N.Kolmogorov“，”year“：”1968“，”unstructured“：”A.N.Kolmogorov，信息定量定义的三种方法，Internat.J.Compute.Math.2（1968）157\u2013168.“，”journal-title“：”Internat.J。计算。数学。“}，{”key“：”28_CR22“，”unstructured“：”A.Ku\u010dera和T.Slaman，随机性和递归可枚举性，出现在SIAM J.Compute中。“}、J。符号逻辑28（1963）1\u201316.“，”journal-title“：”J.符号逻辑“}，{“key”：“28_CR24”，“first page”：”1413“，”volume“：”14“，”author“：”L.Levin“，”year“：”1973“，”unstructured“：”L.Levin，On the concept of a random sequence，Sovered Math.Dokl.14（1973）1413\u20131416.“，”journal-ttitle“：“Sovered Math.Dockl.”}，首页“：”522“，”卷：“17”，“作者”：“L.Levin”，“年份”：“1976”，“非结构化”：“L.Levin，有限对象复杂性的各种度量（公理描述），苏联数学。多克。17（1976）522\u2013526.“，“新闻标题”：“苏联数学”。多克。“}，{”key“：”28_CR26“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/9781-4757-2606-0“，”volume-title“：”Kolmogorov复杂性及其应用简介“，”author“：”M.Li“，“year”：“1997”，“unstructured”：“M.Li和P.Vitanyi，Kolmogrov复杂性及其应用介绍，第2版（Springer-Verlag，纽约，1997）。”，“edition”：“第二版“}，{”key“：”28_CR27“，”doi-asserted-by“：”publisher“，”first page“：“602”，“doi”：“10.1016\/S0019-9958（66）80018-9”，“volume”：“9”，“author”：“P.Martin-L\u00f6f”，“year”：“1966”，“unstructured”：“P.Martin-L\u00f 6f，随机序列的定义，Inform.and Control 9（1966）602\u2013619.”，“journal-title”：“Inform”.和控件“}，{”键“：”28_CR28“，”doi-asserted-by“：”publisher“，”first-page“：”784“，”doi“：”10.2307\/2031867“，”volume“：”5“，”author“：”H.Rice“，”year“：”1954“，“unstructured”：“H.Rice，递归实数，Proc。阿默尔。数学。Soc.5（1954）784\u2013791.”，“期刊标题”：“Proc。阿默尔。数学。Soc.“}，{”key“：”28_CR29“，”doi-asserted-by“：”publisher“，”first page“：“376”，“doi”：“10.1016\/S0022-0000（73）80030-3”，“volume”：“7”，“author”：“C.-P.Schnorr”，“year”：“1973”，“unstructured”：“C.-P.Sch诺尔，进程复杂性和有效随机测试，J.Compute.System Sci.7（1973）376\u2013388.”，“日志标题”：“J.Computer.System Sci.“}，{”键“：”28_CR30“，”doi-asserted-by“：”crossref“，”first-page“：”215“，”doi“：”10.2140\/pjm.1969.31.215“，”volume“：”31“，”author“：”R.Soare“，“year”：“1969”，”unstructured“：”R.Soare，Cohesive set and recurvely enumerable Dedekind cuts，Pacific J.Math。31（1969）215\u2013231.”，“新闻标题”：“太平洋数学杂志”。“}，{”key“：”28_CR31“，”doi-asserted-by“：”publisher“，”首页“：”271“，”doi“：”10.2307\/1995137“，”volume“：“140”，”author“：”R.Soare“，“year”：“1969”，“unstructured”：“R.Soale，Recursion theory and Dedekind cuts，Trans.Amer.Math.Soc.140（1969）271\u2013294.”，“日志标题”：“Trans.Amers.Math.Soc.”}，}“key”“：”28_CR32“，”doi-asserted-by“：”publisher“，”第一页“：”1“，”DOI“：”10.1016\/S0019-9958（64）90223-2“，”卷“：”7“，”作者“：”R.J.所罗门诺夫“，”年份“：”1964“，”非结构化“：”R J.所罗门诺夫，归纳推理的形式理论I，Inform。和Control 7（1964）1\u201322.“，”journal-title“：”Inform。和Control“}，{”key“：”28_CR33“，”doi-asserted-by“：”publisher“，”first page“：“224”，”doi“：”10.1016\/S0019-9958（64）90131-7“，“volume”：“7”，“author”：“R.J.Solomonoff”，“year”：“1964”，“unstructured”：“R J.Solmonoff，归纳推理形式理论II，Inform.and Control 7（1964）224\u2013254.”，“journal title”：“Inform.and Control.”}，}“”volume-title“：“关于Chaitin\u2019工作的论文草稿（或系列论文）……大部分时间是在2013年9月\u1974年12月期间完成的”，“年份”：“1975年”，“作者”：“R.M.Solovay”，“关键”：“28_CR34”，“非结构化”：“R.M.Solovay，论文草稿（或者系列论文）2013年9月至1974年12月（1975年5月）期间完成的大部分工作，未出版手稿，IBM Thomas J.Watson Research Center，Yorktown Heights，NY，215页。“｝，｛”key“：”28_CR35“，”series title“：”逻辑与数学基础研究“，”doi断言“：”crossref“，”首页“：”283“，”doi“：”10.1016\/S0049-237X（08）70660-8“，”volume title“：”非经典逻辑、模型理论与可计算性“，”author“：”R.M.Solovay“，”年份“：”1977“，”nonstructured“：”R.M.Solovay，On random R.e.sets，in A。Arruda，N.Da Costa和R.Chuaqui（编辑），非经典逻辑，模型理论和可计算性。《第三届拉丁美洲数理逻辑研讨会论文集》，坎皮纳斯，201317年7月11日，1976年，第89卷，《逻辑与数学基础研究》（North-Holland，Amsterdam，1977）283\u201330728_CR37“，“非结构化”：“D.赞比拉，关于简单初始段的序列，阿姆斯特丹大学语言、逻辑和信息研究所技术代表（1990年）。“}]，”container-title“：[”计算机科学讲义“，”2001年计算机科学数学基础“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/3-540-44683-4_28“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“，”deposed“：{”date-parts“：[[2019,5,22]]，“date-time”：“2019-05-22T01:28:06Z”，“timestamp”：1558488486000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com\/10.1007\/3-540-44683-4_28”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2001]]}”，“ISBN”：[“9783540424963”，“97834”83540446835“]，”references-count“：37，”URL“：”http:\/\/dx.doi.org/10.1007\/3-540-44483-4_28“，”关系“：｛｝，”ISSN“：[”0302-9743“]，”ISSN类型“：[｛”类型“：”打印“，”值“：”0302-9743“｝]，”主题“：[]，”已发布“：｛”日期部分“：[[2001]]｝，”断言“：[｛”值“：”2001年9月5日“，”顺序“：1，”名称“：”第一在线“，”标签“：”第一在线“，”组“：｛“名称”：“章节历史”，“标签”：“章节历史”｝｝]｝｝