Results 121 to 130 of about 134,383 (239)
Turing Machines with Two-level Memory: A Deep Look into the Input/Output Complexity [PDF]
, 2022 Hengzhao Ma +3 more
openalex +1 more source
Simplicity via Provability for Universal Prefix-free Turing Machines [PDF]
, 2009 Cristian S. Calude
openalex +1 more source
Turing machines based on unsharp quantum logic [PDF]
, 2012 Yun Shang, Xian Lu, Ruqian Lu
openalex +1 more source
Gödel’s Philosophical Challenge (to Turing)
Studia Semiotyczne, 2020 DOI: http://doi.org/10.26333/sts.xxxiv1.03 The incompleteness theorems constitute the mathematical core of Gödel’s philosophical challenge. They are given in their “most satisfactory form”, as Gödel saw it, when the formality of theories to which they
Wilfried Sieg
doaj
Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines [PDF]
Junyu Lai +5 more
openalex +1 more source
REAL-TIME SIMULATION OF MULTIDIMENSIONAL TURING MACHINES BY STORAGE MODIFICATION MACHINES [PDF]
, 1973 A. Schonage
openalex +1 more source
Triple equivalence for the emergence of biological intelligence
Communications PhysicsIntelligent algorithms developed evolutionarily within neural systems are considered in this work. Mathematical analyses unveil a triple equivalence between canonical neural networks, variational Bayesian inference under a class of partially observable ...
Takuya Isomura
doaj +1 more source
Computing exponentially faster: implementing a non-deterministic universal Turing machine using DNA. [PDF]
J R Soc Interface, 2017 Currin A +6 more
europepmc +1 more source