Revision Sequences and Computers with an Infinite Amount of Time

BENEDIKT LOWE

首页> 外文期刊>Journal of logic and computation >Revision Sequences and Computers with an Infinite Amount of Time

【24h】

Revision Sequences and Computers with an Infinite Amount of Time

机译：修订序列和无限时间的计算机

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The author establishes a connection between Revision Theory of Truth and Infinite Time Turing Machines as devel- oped by Hamkins and Kidder. The ideas from this paper have incited Welch to solve the limit rule problem of revision theory.

机译：作者建立了真相修正理论与无限时间图灵机之间的联系，Hamkins和Kidder开发了这种联系。本文的思想激发了韦尔奇（Welch）解决修正理论的极限规则问题。

著录项

来源
《Journal of logic and computation》 |2001年第1期|p.25-40|共16页
作者
BENEDIKT LOWE;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
Revision theory of truth; infinite time Turing machiens; definability;

机译：真理修正理论;无限时间图灵机;可定义性;

相似文献

外文文献
中文文献
专利

1. Integer sequences. Differences repeated infinite times [J] . International mathematical forum . 2015,第8期

机译：整数序列。差异重复无限次
2. A COMPUTER AIDED SYSTEM FOR SYSTEMATIC PRODUCTION AND REVISION OF SEQUENCE PATTERNS [J] . Ripoche H., Sallantin J. Biochimie . 1996,第5期

机译：用于系统生产和修订序列码型的计算机辅助系统
3. Could a laptop computer plus the liquid crystal display projector amount to improved multimedia geoscience instruction? [J] . C.Y. Chang Journal of Computer Assisted Learning . 2004,第1期

机译：便携式计算机加上液晶显示投影仪是否可以改善多媒体地球科学教学？
4. An Infinite Prime Sequence Can Be Generated in Real-Time by a 1-Bit Inter-cell Communication Cellular Automaton [C] . Hiroshi Umeo, Naoki Kamikawa Developments in Language Theory . 2003

机译：1位小区间通信蜂窝自动机可以实时生成无限素数序列
5. The impact of computer architecture features on image processing application execution times: A case study using MPEG image sequence compression on the IBM SP2. [D] . Salinger, Jeremy Alan. 2000

机译：计算机体系结构功能对图像处理应用程序执行时间的影响：在IBM SP2上使用MPEG图像序列压缩的案例研究。
6. Computer-Based Methods for the Mouse Full-Length cDNA Encyclopedia: Real-Time Sequence Clustering for Construction of a Nonredundant cDNA Library [O] . Hideaki Konno, Yoshifumi Fukunishi, Kazuhiro Shibata, 2018

机译：小鼠全长cDNA百科全书的计算机为基础的方法：实时序列聚类的非冗余cDNA库的构建。
7. Revision Sequences and Computers with an Infinite Amount of Time [O] . Benedikt Löwe 1999

机译：具有无限时间量的修订序列和计算机
8. Analytical Model for Developing Objective Measures of Air Crew Proficiency with Multivariate Time Sequenced Data. Volume II. Computer Program Documentation. [R] . Connelly, E. M., Johnson, P., Shipley, B. D. 1981

机译：用多元时间序列数据开发机组人员熟练度目标测度的分析模型。第二卷。计算机程序文档。

Revision Sequences and Computers with an Infinite Amount of Time

摘要

著录项

相似文献

相关主题

期刊订阅