首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
Computability versus exact computability of martingales
被引:1
|
作者
:
Lutz, JH
论文数:
0
引用数:
0
h-index:
0
机构:
Iowa State Univ, Dept Comp Sci, Ames, IA 50011 USA
Iowa State Univ, Dept Comp Sci, Ames, IA 50011 USA
Lutz, JH
[
1
]
机构
:
[1]
Iowa State Univ, Dept Comp Sci, Ames, IA 50011 USA
来源
:
INFORMATION PROCESSING LETTERS
|
2004年
/ 92卷
/ 05期
基金
:
美国国家科学基金会;
关键词
:
computability;
computational complexity;
martingales;
real-valued functions;
D O I
:
10.1016/j.ipl.2004.08.008
中图分类号
:
TP [自动化技术、计算机技术];
学科分类号
:
0812 ;
摘要
:
This note gives a simple example of a polynomial-time computable martingale that has rational values but is not exactly computable. (C) 2004 Elsevier B.V. All rights reserved.
引用
收藏
页码:235 / 237
页数:3
相关论文
共 50 条
[1]
COMPUTABILITY BY NONDETERMINISTIC PROGRAM AND THE MOSCHOVAKIS SEARCH COMPUTABILITY
SOLOVEV, VD
论文数:
0
引用数:
0
h-index:
0
机构:
KAZAN VI LENIN STATE UNIV,SCI RES INST MATH & MECH,KAZAN,RUSSIA
KAZAN VI LENIN STATE UNIV,SCI RES INST MATH & MECH,KAZAN,RUSSIA
SOLOVEV, VD
MATHEMATICAL NOTES,
1994,
56
(1-2)
: 756
-
758
[2]
The Parallel versus Branching Recurrences in Computability Logic
Xu, Wenyan
论文数:
0
引用数:
0
h-index:
0
机构:
Xidian Univ, Dept Math, Xian 710071, Peoples R China
Xidian Univ, Dept Math, Xian 710071, Peoples R China
Xu, Wenyan
Liu, Sanyang
论文数:
0
引用数:
0
h-index:
0
机构:
Xidian Univ, Dept Math, Xian 710071, Peoples R China
Xidian Univ, Dept Math, Xian 710071, Peoples R China
Liu, Sanyang
NOTRE DAME JOURNAL OF FORMAL LOGIC,
2013,
54
(01)
: 61
-
78
[3]
Feedback Turing Computability, and Turing Computability as Feedback
Ackerman, Nathanael L.
论文数:
0
引用数:
0
h-index:
0
机构:
Harvard Univ, Dept Math, Cambridge, MA 02138 USA
Harvard Univ, Dept Math, Cambridge, MA 02138 USA
Ackerman, Nathanael L.
Freer, Cameron E.
论文数:
0
引用数:
0
h-index:
0
机构:
MIT, Comp Sci & AI Lab, Cambridge, MA 02139 USA
Harvard Univ, Dept Math, Cambridge, MA 02138 USA
Freer, Cameron E.
Lubarsky, Robert S.
论文数:
0
引用数:
0
h-index:
0
机构:
Florida Atlantic Univ, Dept Math Sci, Boca Raton, FL 33431 USA
Harvard Univ, Dept Math, Cambridge, MA 02138 USA
Lubarsky, Robert S.
2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS),
2015,
: 523
-
534
[4]
COMPUTABILITY AND NON-COMPUTABILITY IN CLASSICAL-ANALYSIS
POUREL, MB
论文数:
0
引用数:
0
h-index:
0
POUREL, MB
RICHARDS, I
论文数:
0
引用数:
0
h-index:
0
RICHARDS, I
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY,
1983,
275
(02)
: 539
-
560
[5]
NOTATIONS AND COMPUTABILITY
REES, RA
论文数:
0
引用数:
0
h-index:
0
REES, RA
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS,
1987,
23
(01)
: 29
-
35
[6]
Emergence and computability
Boschetti, Fabio
论文数:
0
引用数:
0
h-index:
0
Boschetti, Fabio
Boschetti, Fabio
论文数:
0
引用数:
0
h-index:
0
Boschetti, Fabio
Gray, Randall
论文数:
0
引用数:
0
h-index:
0
Gray, Randall
EMERGENCE-COMPLEXITY & ORGANIZATION,
2007,
9
(1-2):
[7]
Decomposability and Computability
B. Khoussainov
论文数:
0
引用数:
0
h-index:
0
机构:
UESTC,Algorithms and Logic Lab
B. Khoussainov
A. G. Melnikov
论文数:
0
引用数:
0
h-index:
0
机构:
UESTC,Algorithms and Logic Lab
A. G. Melnikov
Algebra and Logic,
2022,
61
: 153
-
159
[8]
COMPUTABILITY AND RECURSION
Soare, Robert I.
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Chicago, Dept Math, Chicago, IL 60637 USA
Univ Chicago, Dept Math, Chicago, IL 60637 USA
Soare, Robert I.
BULLETIN OF SYMBOLIC LOGIC,
1996,
2
(03)
: 284
-
321
[9]
CONCURRENCY AND COMPUTABILITY
DARONDEAU, P
论文数:
0
引用数:
0
h-index:
0
DARONDEAU, P
LECTURE NOTES IN COMPUTER SCIENCE,
1990,
469
: 223
-
238
[10]
Quantum computability
Adleman, LM
论文数:
0
引用数:
0
h-index:
0
机构:
Department of Computer Science, University of Southern California, Los Angeles
Adleman, LM
Demarrais, J
论文数:
0
引用数:
0
h-index:
0
机构:
Department of Computer Science, University of Southern California, Los Angeles
Demarrais, J
Huang, MDA
论文数:
0
引用数:
0
h-index:
0
机构:
Department of Computer Science, University of Southern California, Los Angeles
Huang, MDA
SIAM JOURNAL ON COMPUTING,
1997,
26
(05)
: 1524
-
1540
←
1
2
3
4
5
→