cognizant
发表于 2025-3-30 11:46:41
http://reply.papertrans.cn/95/9438/943734/943734_51.png
STYX
发表于 2025-3-30 13:00:46
http://reply.papertrans.cn/95/9438/943734/943734_52.png
初学者
发表于 2025-3-30 19:39:10
Computable Transformations of Structuresen well studied for many classes of computable structures. Here we consider isomorphism problems for broader classes of countable structures, using Turing functionals and applying the notions of finitary and countable computable reductions which have been developed for equivalence relations more generally.
Cardiac
发表于 2025-3-31 00:38:19
Formalizing a Fragment of Combinatorics on WordsWe describe an attempt to formalize some tasks in combinatorics on words using the assistance of Prover9, an automated theorem prover for first-order and equational logic.
GRIEF
发表于 2025-3-31 03:32:58
Gödel’s Reception of Turing’s Model of Computability: The “Shift of Perception” in 1934The emergence of the mathematical concept of computability in the 1930 s was marked by an interesting shift of perspective, from viewing the intuitive concept, “human calculability following a fixed routine” in terms of calculability in a logic, to viewing the concept as more adequately expressed by Turing’s model.
gene-therapy
发表于 2025-3-31 06:14:25
http://reply.papertrans.cn/95/9438/943734/943734_56.png