Complexity in Predicative Arithmetic

机译：谓语算法的复杂性

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

Complexity classes between Grzegorczyk's E~2 and E~3 are characterized in terms of provable recursion in a theory EA(I;O) formalising basic principles of Nelson's Predicative Arithmetic. Extensions by inductive definitions enable full arithmetic PA and higher systems to be recaptured in a setting where the natural bounding functions are "slow" rather than "fast" growing.

机译：Grzegorczyk的E〜2和E〜3之间的复杂性类别以EA（I; O）理论中可证明的递归来表征，该理论形式化了Nelson谓词性算术的基本原理。归纳定义的扩展使完整的算术PA和更高的系统能够在自然边界函数“缓慢”增长而不是“快速”增长的环境中重新捕获。

著录项

来源
《Conference on Computability in Europe(CiE 2005); 20050608-12; Amsterdam(NL)》|2005年|P.378-384|共7页
会议地点 Amsterdam(NL)
作者
Geoffrey E. Ostrin; Stan S. Wainer;
展开▼
作者单位

Institut fuer Informatik und angewandte Mathematik, Neubrueckstrasse 10, CH-3012 Bern, Switzerland;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
provable recursion; ordinal analysis; slow growing hierarchy;

机译：可证明的递归;范式分析;层级增长缓慢;

相似文献

外文文献
中文文献
专利

1. PREDICATIVE FRAGMENTS OF FREGE ARITHMETIC [J] . Oystein Linnebo The bulletin of symbolic logic . 2004,第2期

机译：边缘算术预测片段
2. Low-Complexity Distributed-Arithmetic-Based Pipelined Architecture for an LSTM Network [J] . IEEE transactions on very large scale integration (VLSI) systems . 2020,第2期

机译：LSTM网络的低复杂度基于分布式算法的流水线架构
3. On the logical complexity of cyclic arithmetic [J] . Das Anupam Logical Methods in Computer Science . 2020,第1期

机译：循环算术的逻辑复杂性
4. Complexity in Predicative Arithmetic [C] . Geoffrey E. Ostrin, Stan S. Wainer Conference on Computability in Europe . 2005

机译：预测算术中的复杂性
5. Logical approaches to the complexity of search problems: Proof complexity, quantified propositional calculus, and bounded arithmetic. [D] . Morioka, Tsuyoshi. 2005

机译：解决搜索问题复杂性的逻辑方法：证明复杂性，量化命题演算和有界算术。
6. fNIRS Complexity Analysis for the Assessment of Motor Imagery and Mental Arithmetic Tasks [O] . Ameer Ghouse, Mimma Nardelli, Gaetano Valenza 2020

机译：FNIRS复杂性分析用于评估电机图像和心理算术任务
7. Predicative Frege Arithmetic and 'Everyday' Mathematics [O] . R. G. Heck 2014

机译：预测弗里德算术和“日常”数学
8. STUDIES ON PREDICATION IN RUSSIAN-I. Predicative Case, Short Form Adjectives and Predicatives [R] . Henrik Birnbaum 1964

机译：俄罗斯的预测研究。预测案例，简表形容词和谓语

Complexity in Predicative Arithmetic

摘要

著录项

相似文献

相关主题

期刊订阅