SIMPLE GENERALIZATION OF TURING COMPUTABILITY

被引：0

|

作者：

THOMAS, WJ

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1974年 / 39卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：396 / 397

页数：2

相关论文

共 50 条

[31] COMPUTABILITY AND TYPE THEORY - TURING CONTRIBUTION TO TYPE THEORY
HARRELL, M
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 322 - 322
[32] From Turing to the Clouds (On the Computability Power of Distributed Systems)
Raynal, Michel
STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, SIROCCO 2014, 2014, 8576 : XIII - XIV
[33] Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions
Forster, Yannick
Kirst, Dominik
Mueck, Niklas
PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2023, 2023, 14405 : 155 - 181
[34] An anatomy of a quantum adiabatic algorithm that transcends the Turing computability
Kieu, TD
INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2005, 3 (01) : 177 - 182
[35] Turing Computability of Fourier Transforms of Bandlimited and Discrete Signals
Boche, Holger
Moenich, Ullrich J.
IEEE TRANSACTIONS ON SIGNAL PROCESSING, 2020, 68 : 532 - 547
[36] Consistency, Turing computability and Godel's first incompleteness theorem
Hadley, Robert F.
MINDS AND MACHINES, 2008, 18 (01) : 1 - 15
[37] Three books on computability, with a special focus on Turing's legacy
Porter, Christopher P.
HISTORIA MATHEMATICA, 2019, 46 : 88 - 95
[38] Turing's Revolution: The Impact of His Ideas about Computability
Nofre, David
ISIS, 2017, 108 (02) : 486 - 487
[39] Computability Beyond Church-Turing via Choice Sequences
Bickford, Mark
Cohen, Liron
Constable, Robert L.
Rahli, Vincent
LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 245 - 254
[40] Turing-, Human- and Physical Computability: An Unasked Question
Eli Dresner
Minds and Machines, 2008, 18 : 349 - 355

← 1 2 3 4 5 →