×
E.J.贝格斯。;J.V.塔克。

牛顿运动机器的编程实验程序。 （英语） Zbl 1143.68015号

Beckmann，Arnold（编辑）等人，《逻辑与算法理论》。第四届欧洲可计算性会议，2008年6月15日至20日，希腊雅典，CiE 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69405-2/pbk）。计算机科学课堂讲稿5028，52-66（2008）。
小结：在实验计算中，我们指的是通过实验一些物理设备来计算函数的思想。为了分析通过实验可计算的函数，我们正在开发一种方法，该方法选择物理理论（T）的精确规范，并导出该理论允许的程序和设备的精确描述。作为一个案例研究，我们选择了牛顿运动学的一个片段（T），并描述了一种语言（EP（T））及其一些扩展，以表达（T）允许的实验过程。实验过程的语言类似于表示算法过程的命令式编程语言。我们证明了（EP（T））可以定义算法可以定义的有理数上的所有函数。
有关整个系列，请参见[Zbl 1137.68002号]。

引用于2文件

MSC公司：

2005年第68季度 计算模型（图灵机等）（MSC2010）
PDF格式BibTeX公司 XML格式引用
\textit{E.J.Beggs}和\textit{J.V.Tucker}，莱克特。注释计算。科学。5028，52--66（2008；Zbl 1143.68015）
全文： 内政部

参考文献：

[1] 阿克尔，S.G。；Adamatzky，A。；Teuscher，C.，传统还是非传统：有什么计算机是通用的吗？，《从乌托邦到真正的非传统计算机》，101-136（2006），Frome:Luniver出版社，Frome
[2] Beggs，E.J.，Tucker，J.V.：通过运动系统实验进行计算，研究报告4.04，威尔士斯旺西大学数学系，2004年3月，或技术报告5-2004，威尔士斯旺西大学计算机科学系（2004年3月份）
[3] Beggs，E.J。；Tucker，J.V.，《在牛顿运动学中嵌入无限并行计算》，应用数学与计算，178，25-43（2006）·Zbl 1101.68573号 ·doi:10.1016/j.amc.2005.09068
[4] Beggs，E.J。；Tucker，J.V.，在空间、时间、质量和能量有界的牛顿系统能计算所有函数吗？，理论计算机科学，371，4-19（2007）·Zbl 1108.68050号 ·doi:10.1016/j.tcs.2006.10.010
[5] Beggs，E.J。；Tucker，J.V.，牛顿机器实数的实验计算，《皇家学会学报》系列A，463，1541-1561（2007）·Zbl 1130.68051号 ·doi:10.1098/rspa.2007.1835
[6] Beggs，E.J.、Costa，J.F.、Loff，B.、Tucker，J.V.：实验作为预言的计算复杂性（准备中，2008）·Zbl 1152.68444号
[7] 陈，F。；罗苏，G。；Venkatesan，R.P。；Nieuwenhuis，R.，基于规则的尺寸安全分析，重写技术和应用（2003），海德堡：施普林格，海德堡·doi:10.1007/3-540-44881-0_15
[8] Geroch，R。；Hartle，J.B.，《可计算性和物理理论》，《物理学基础》，16533-550（1986）·doi:10.1007/BF01886519
[9] Griffor，E.，《可计算性理论手册》（1999），阿姆斯特丹：爱思唯尔出版社·Zbl 0923.03001号
[10] 弗雷德金，E。；Toffoli，T.，《保守逻辑》，《国际理论物理杂志》，21，219-253（1982）·Zbl 0496.94015号 ·doi:10.1007/BF01857727
[11] Kreisel，G.，《机械论的概念》，《综合》，29，9-24（1974）·Zbl 0307.02028号 ·doi:10.1007/BF00484949
[12] Odifreddi，P.，经典递归理论（1989），阿姆斯特丹：荷兰北部·Zbl 0661.03029号
[13] 倾倒El，M.B。；Richards，J.I.，《分析和物理中的可计算性，数学逻辑中的透视》（1989），柏林：施普林格出版社，柏林·Zbl 0678.03027号
[14] 斯托尔滕贝格·汉森，V。；塔克，J.V。；Abramsky，S。；加巴伊，D。；Maibaum，T.，有效代数，计算机科学逻辑手册，357-526（1995），牛津：牛津大学出版社，牛津·兹比尔0876.68001
[15] 斯托尔滕贝格·汉森，V。；塔克，J.V。；Griffor，E.R.，可计算环和域，可计算性理论手册，363-447（1999），阿姆斯特丹：爱思唯尔，阿姆斯特丹·Zbl 0944.03040号 ·doi:10.1016/S0049-237X（99）80028-7
[16] 斯托尔滕贝格·汉森，V。；塔克，J.V.，拓扑代数计算的具体模型，理论计算机科学，219347-378（1999）·Zbl 0916.68047号 ·doi:10.1016/S0304-3975（98）00296-5
[17] 斯托尔滕贝格·汉森，V。；Tucker，J..V.，度量部分代数上的可计算和连续部分同态，符号逻辑公告，9，299-334（2003）·Zbl 1058.03070号 ·doi:10.2178/bsl/1058448675
[18] 塔克，J.V。；Zucker，J.I。；Abramsky，S。；加巴伊，D。；Maibaum，T.，《多分类代数上的可计算函数和半可计算集》，《计算机科学逻辑手册》，317-523（2000），牛津：牛津大学出版社，牛津·Zbl 1035.03001号
[19] 塔克，J.V。；Zucker，J.I.，度量部分代数上的抽象与具体计算，ACM计算逻辑汇刊，5611-668（2004）·Zbl 1367.68102号 ·doi:10.1145/1024922.1024924
[20] Weihrauch，K.，《可计算分析，简介》（2000），海德堡：施普林格出版社·Zbl 0956.68056号
[21] 姚，A.，《经典物理学与丘奇-图灵论文》，《ACM杂志》，第50期，第100-105页（2003年）·Zbl 1326.68136号 ·doi:10.1145/602382.602411
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。