×
J.V.塔克。；朱克，J.I。

将可计算性理论推广到抽象代数。 （英语） Zbl 1403.03077号

乔瓦尼（编辑）等，《图灵的革命》。他的可计算性思想的影响。查姆：Birkhäuser/Springer（ISBN 978-3-319-22155-7/hbk；978-3-3169-22156-4/电子书）。127-160（2015年）。
摘要：我们概述了过去四十年来我们在将可计算性理论推广到多分类代数方面的工作。讨论了以下主题：（1）此类代数的抽象计算模型；（2） 可计算性和连续性，以及使用包含实数的多列拓扑部分代数；（3） 各种等效和不同可计算性模型之间的比较；（4） 广义的教会教学论文。
有关整个系列，请参见[Zbl 1330.68036号].

MSC公司：

03D75号 抽象公理可计算性和递归理论
03D78号 实数计算，可计算分析

关键词：

可计算性和连续性；抽象结构的可计算性；reals上的可计算性；广义丘吉尔论文；广义可计算性
PDF格式BibTeX公司 XML格式引用
\textit{J.V.塔克}和\textit{J.I.祖克}，in：图灵革命。他的可计算性思想的影响。查姆：Birkhäuser/Springer。127-160（2015；Zbl 1403.03077）
全文： 内政部 链接

参考文献：

[1] M.Armstrong，实域上拓扑代数中的半可计算性概念。麦克马斯特大学计算机与软件系硕士论文，2015年。存档于网址：http://hdl.handle.net/11375/18334 ·Zbl 1450.03007号
[2] L.Blum，F.Cucker，M.Shub，S.Smale，《复杂性与实际计算》（Springer，纽约，1998）·Zbl 0872.68036号 ·doi:10.1007/978-1-4612-0701-6
[3] V.Brattka，P.Hertling，实数表示的拓扑性质。西奥。计算。科学。284(2), 241-257 (2002) ·Zbl 1039.03036号 ·doi:10.1016/S0304-3975（01）00066-4
[4] R.Courant、D.Hilbert，《数学物理方法》，第二卷（跨科学，纽约，1953年）。翻译和修订自德文版[1937]·Zbl 0053.02805号
[5] Y.L.Ershov，S.S.Goncharov，A.S.Nerode，J.B.Remmel（编辑），《递归数学手册》（Elsevier，阿姆斯特丹，1998）。分2卷·Zbl 0930.03037号
[6] S.Feferman，《关于抽象结构的计算和递归的论文》，载于图灵的《革命》。《关于可计算性的思想的影响》，G.Sommaruga，T.Strahm编辑（Birkhäuser/Spriger，巴塞尔，2015）·Zbl 1330.68036号
[7] J.E.Fenstad，《计算理论：一般结构递归的公理方法》，载于《逻辑会议》，基尔1974年，G.Muller，A.Oberschelp，K.Potthoff主编（施普林格，柏林，1975），第143-168页·Zbl 0328.02025
[8] J.E.Fenstad，递归理论：公理方法（Springer，Berlin，1980）·Zbl 0439.03030号 ·doi:10.1007/978-3-662-11824-5
[9] H.Friedman，《代数过程、广义图灵算法和初等递归理论》，摘自《69年逻辑学术讨论会》，R.O.Gandy，C.M.E.Yates编辑（荷兰北部，阿姆斯特丹，1971年），第361-389页·Zbl 0221.02018号 ·doi:10.1016/S0049-237X（08）71238-2
[10] A.Fröhlich，J.Shepherdson，《场论中的有效程序》。菲洛斯。事务处理。R.Soc.伦敦。（A） 248407-432（1956年）·Zbl 0070.03502号 ·doi:10.1098/rsta.1956.0003
[11] Fu M.Q.，J.I.Zucker，实域上部分函数的可计算性模型。J.日志。代数方法课程。84, 218-237 (2015) ·Zbl 1320.68079号 ·doi:10.1016/j.jlamp.2014.11.001
[12] J.Hadamard，《线性偏微分方程柯西问题讲座》（Dover，纽约，1952）。翻译自法文版[1922]·Zbl 0049.34805号
[13] J.Hadamard，《Dérivées Partielles四重奏》（《科学条件》，华沙，1964年）·Zbl 0131.09001号
[14] N.D.James，J.I.Zucker，一类签约流运营商。计算。J.56，15-33（2013）·doi:10.1093/comjnl/bxs054
[15] S.C.Kleene，《元数学导论》（北荷兰，阿姆斯特丹，1952年）·Zbl 0047.00703号
[16] G.Kreisel，J.L.Krivine，《数理逻辑的要素》（北荷兰，阿姆斯特丹，1971）·Zbl 0219.02037号
[17] G.Kreisel，D.Lacombe，J.Shoenfield，《部分递归函数和有效运算》，摘自《数学中的构造性：阿姆斯特丹学术会议录》，1957年，A.Heyting编辑（荷兰北部，阿姆斯特丹，1959年），第290-297页·Zbl 0178.32201号
[18] A.I.Mal'cev，构造代数I，《代数系统的元数学》。A.I.Mal'cev，《论文集：1936-1967》（北荷兰，阿姆斯特丹，1971年），第148-212页
[19] W.Magnus，A.Karass，D.Solitar，组合群理论（Dover，New York，1976）·Zbl 0362.20023号
[20] J.Moldestad，V.Stoltenberg-Hansen，J.V.Tucker，《有限算法程序和计算理论》。数学。扫描。46, 77-94 (1980) ·兹伯利0419.68078
[21] Y.N.Moschovakis，《计算理论公理初稿》，R.O.Gandy，C.E.M.Yates（北荷兰，阿姆斯特丹，1971），第199-255页，《逻辑学术讨论会》第69版·Zbl 0243.02034号
[22] 拉宾，可计算代数，一般理论和可计算域理论。事务处理。美国数学。Soc.95341-360（1960）·Zbl 0156.01201号
[23] J.C.Shepherdson，《代数程序、广义图灵算法和初等递归理论》，收录于哈维·弗里德曼的《数学基础研究》，L.A.Harrington、M.D.Morley、A.Šcedrov、s.G.Simpson主编（荷兰北部，阿姆斯特丹，1985年），第285-308页·doi:10.1016/S0049-237X（09）70163-6
[24] V.Stoltenberg-Hansen，J.V.Tucker，《可计算环和场》，收录于E.Griffor编辑的《可计算性理论手册》（Elsevier，阿姆斯特丹，1999）·Zbl 0944.03040号
[25] B.C.Thompson，J.V.Tucker，J.I.Zucker，《使用同步并发算法理论统一计算机和动态系统》。申请。数学。计算。2151386-1403（2009年）·Zbl 1192.68843号 ·doi:10.1016/j.amc.2009.04.058
[26] G.S.Tseitin，构造完全可分度量空间中的代数算子。多克。阿卡德。Nauk SSSR 128、49-52（1959年）。俄语·Zbl 0124.00402号
[27] G.S.Tseitin，构造度量空间中的代数算子。《Tr.Mat.Inst.Steklov材料研究所》67，295-361（1962）；俄语。翻译为AMS翻译（2）64:1-80。MR 27#2406
[28] J.V.Tucker，《代数系统中的计算》，《递归理论及其推广和应用》。伦敦数学学会讲座笔记系列，第45卷，F.R.Drake，S.S.Wainer编辑（剑桥大学出版社，剑桥，1980年），第215-235页·Zbl 0463.03026号 ·doi:10.1017/CBO9780511629181.009
[29] J.V.Tucker，J.I.Zucker，《抽象数据类型的程序正确性与错误状态语义》。CWI专著，第6卷（北荷兰，阿姆斯特丹，1988年）·Zbl 0641.68028号
[30] J.V.Tucker，J.I.Zucker，拓扑部分代数上的“while”程序计算。西奥。计算。科学。219, 379-420 (1999) ·Zbl 0916.68046号 ·doi:10.1016/S0304-3975（98）00297-7
[31] J.V.Tucker，J.I.Zucker，《多门代数上的可计算函数和半可计算集》，载于《计算机科学中的逻辑手册》，第5卷，S.Abramsky，D.Gabbay，T.Maibaum编辑（牛津大学出版社，牛津，2000），第317-523页
[32] J.V.Tucker，J.I.Zucker，《阿姆斯特丹数学中心抽象数据类型计算理论的起源》，1979-1980年，收录于Liber Amicorum：Jaco de Bakker，编辑：F.de Boer，M.van der Heijden，P.Klint，J.J.M.Rutten（阿姆斯特丹维斯昆德信息中心，2002），第197-221页
[33] J.V.Tucker，J.I.Zucker，度量部分代数上的抽象与具体计算。ACM事务处理。计算。日志。5, 611-668 (2004) ·Zbl 1367.68102号 ·doi:10.1145/1024922.1024924
[34] J.V.Tucker，J.I.Zucker，可计算总函数，代数规范和动力系统。J.日志。代数程序。62, 71-108 (2005) ·Zbl 1085.68094号 ·doi:10.1016/j.jlap.2003.10.01
[35] J.V.Tucker，J.I.Zucker，模拟网络的可计算性。西奥。计算。科学。371, 115-146 (2007) ·Zbl 1110.68046号 ·doi:10.1016/j.tcs.2006.10.018
[36] J.V.Tucker，J.I.Zucker，连续和离散时间流上算子的连续性。西奥。计算。科学。412, 3378-3403 (2011) ·Zbl 1251.68141号 ·doi:10.1016/j.tcs.2011年4月12日
[37] J.V.Tucker，J.I.Zucker，连续和离散时间流上运算符的可计算性。可计算性3，9-44（2014）·Zbl 1358.68105号
[38] A.M.Turing，关于可计算数字，以及对Entscheidungsproblem的应用。程序。伦敦。数学。Soc.42230-265（1936）。经更正，同上，43，544-546（1937）。重印于M.Davis编辑的《无法决定》（Raven出版社，纽约，1965年）·Zbl 0016.09701号
[39] K.Weihrauch，《可计算分析：简介》（Springer，Berlin，2000）·Zbl 0956.68056号 ·doi:10.1007/978-3-642-56999-9
[40] 谢斌，傅明清，朱克，实数半可计算集的刻画。J.日志。代数方法课程。84124-154（2015年）·Zbl 1307.68028号 ·doi:10.1016/j.jlap.2013.11.001
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。