Search Results - work problems, etc. in computability and recursion theory~

On Strong and Weak Logics for Paraconsistent Computability.

Authors: Weber, Zach Cano-Jorge, Fernando

Source: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP); Jun2025, Vol. 12 Issue 5, p1349-1381, 33p

Subject Terms: RECURSION theory, ARITHMETIC, LOGIC, MATHEMATICS, VIRTUES

Language Learnability in the Limit: A Generalization of Gold’s Theorem: Language learnability in the limit: a generalization of Gold's theorem

Authors: Fernando C. Alves

Source: Journal of Logic, Language and Information. 32:363-372

Subject Terms: recursion theory, inductive inference, Computational learning theory, learning in the limit, Formal languages and automata, 06 humanities and the arts, 0101 mathematics, 0603 philosophy, ethics and religion, Word problems, etc. in computability and recursion theory, 01 natural sciences, Recursive functions and relations, subrecursive hierarchies, Gold's theorem

File Description: application/xml

Access URL: https://zbmath.org/7726393
https://doi.org/10.1007/s10849-022-09391-w

A finitely axiomatizable undecidable equational theory with recursively solvable word problems

Authors: Dejan Delić

Source: Transactions of the American Mathematical Society. 352:3065-3101

Subject Terms: undecidable equational theory, Decidability of theories and sets of sentences, Word problems (aspects of algebraic structures), Equational logic, Mal'tsev conditions, Equational classes, universal algebra in model theory, many-sorted logics, 0102 computer and information sciences, 0101 mathematics, Automata and formal grammars in connection with logical questions, Word problems, etc. in computability and recursion theory, recursively solvable word problems, 01 natural sciences

File Description: application/xml

Access URL: https://www.ams.org/tran/2000-352-07/S0002-9947-99-02339-9/S0002-9947-99-02339-9.pdf
https://zbmath.org/1449843
https://doi.org/10.1090/s0002-9947-99-02339-9
https://www.ams.org/journals/tran/2000-352-07/S0002-9947-99-02339-9/home.html
https://www.ams.org/tran/2000-352-07/S0002-9947-99-02339-9/S0002-9947-99-02339-9.pdf
https://www.jstor.org/stable/118198

ON DIOPHANTINE SINGLEFOLD SPECIFICATIONS.

Authors: CANTONE, D. CUZZIOL, L. OMODEO, E. G.

Source: Le Matematiche; 2024, Vol. 79 Issue 2, p585-620, 36p

Subject Terms: HILBERT'S tenth problem, CHINESE remainder theorem, MATHEMATICAL logic, RECURSION theory, RECURSIVE functions, DIOPHANTINE equations, QUADRATIC forms, BINOMIAL coefficients

Coding in the existential theory of concatenation

Authors: Büchi, J. R. Senger, St.

Source: The Collected Works of J. Richard Büchi ISBN: 9781461389309

Subject Terms: Prefix, length-variable, comma-free codes, 510.mathematics, Free semigroups, generators and relations, word problems, 4. Education, 0102 computer and information sciences, 0101 mathematics, Word problems, etc. in computability and recursion theory, existential theory, 01 natural sciences, Article, existentially definable relation over concatenation, diophantine

File Description: application/xml; image/jpeg; application/pdf

Access URL: https://zbmath.org/4053596
https://doi.org/10.1007/bf02017493
https://link.springer.com/content/pdf/10.1007/BF02017493.pdf
https://eudml.org/doc/138054
https://rd.springer.com/chapter/10.1007/978-1-4613-8928-6_36
https://dblp.uni-trier.de/db/journals/aml/aml26.html#BuchiS87
https://link.springer.com/article/10.1007/BF02017493

Further N -Frame networking dynamics of conscious observer-self agents via a functional contextual interface: predictive coding, double-slit quantum mechanical experiment, and decision-making fallacy modeling as applied to the measurement problem in humans and AI

Authors: Edwards, Darren J.

Source: Frontiers in Computational Neuroscience; 2025, p1-53, 53p

Subject Terms: LANGUAGE models, ARTIFICIAL intelligence, COGNITIVE bias, QUANTUM operators, COGNITIVE maps (Psychology)

A Survey of Nature-Inspired Computing: Membrane Computing.

Authors: BOSHENG SONG KENLI LI ORELLANA-MARTÍN, DAVID et al.

Source: ACM Computing Surveys; Jan2022, Vol. 54 Issue 1, p1-31, 31p

Subject Terms: COMPUTATIONAL complexity, NP-complete problems, RECURSION theory, CELL anatomy, COMPUTER systems, BIOLOGICALLY inspired computing

On the work of P. S. Novikov and his graduate students in algorithmic questions of algebra

Authors: Adyan, S. I.

Subject Terms: History of mathematical logic and foundations, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations, Applications of computability and recursion theory, History of group theory, Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), Word problems, etc. in computability and recursion theory, Research exposition (monographs, survey articles) pertaining to group theory

File Description: application/xml

Access URL: https://zbmath.org/3545646

The word problem for division rings

Authors: Angus Macintyre

Source: Journal of Symbolic Logic. 38:428-436

Subject Terms: Division rings and semisimple Artin rings, 0101 mathematics, Word problems, etc. in computability and recursion theory, 01 natural sciences

File Description: application/xml

Access URL: https://dblp.uni-trier.de/db/journals/jsyml/jsyml38.html#MacIntyre73a
https://doi.org/10.2307/2273039
https://www.jstor.org/stable/2273039
https://projecteuclid.org/euclid.jsl/1183738755

The word problem for free fields

Authors: Paul M. Cohn

Source: Journal of Symbolic Logic. 38:309-314

Subject Terms: Division rings and semisimple Artin rings, Connections between field theory and logic, 0101 mathematics, 16. Peace & justice, Word problems, etc. in computability and recursion theory, 01 natural sciences

File Description: application/xml

Access URL: https://www.jstor.org/stable/2272067
https://dblp.uni-trier.de/db/journals/jsyml/jsyml38.html#Cohn73
https://www.maths.ed.ac.uk/~aar/papers/cohnword.pdf
https://projecteuclid.org/euclid.jsl/1183738636

A note on a special one-rule semi-Thue system

Authors: Matthias Jantzen

Source: Information Processing Letters. 21:135-140

Subject Terms: complete rewriting system, Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science, Church-Rosser property, Thue system, 0102 computer and information sciences, Thue and Post systems, etc, 0101 mathematics, Symbolic computation and algebraic computation, Word problems, etc. in computability and recursion theory, 01 natural sciences, quotient monoid

File Description: application/xml

Access URL: https://www.sciencedirect.com/science/article/pii/0020019085900183
https://doi.org/10.1016/0020-0190(85)90018-3
https://dblp.uni-trier.de/db/journals/ipl/ipl21.html#Jantzen85

Automatentheorie und formale Sprachen

Authors: Hotz, G.

Subject Terms: computations of relations, Specification and verification (program logics, model checking, etc.), categorical theory of automata, autonomous automata, Research exposition (monographs, survey articles) pertaining to computer science, Analysis of algorithms and problem complexity, syntactic correctness of programs, Categories of machines, automata, complexity of parsing, Formal languages and automata, Theory of compilers and interpreters, work problems, formal series, Semigroups in automata theory, linguistics, etc, survey, Word problems, etc. in computability and recursion theory, time and space complexity measures of computations

File Description: application/xml

Access URL: https://zbmath.org/3639151

Positive eigenvalues and two-letter generalized words

Authors: Ilya M. Spitkovsky Charles R. Johnson Christopher J. Hillar

Source: The Electronic Journal of Linear Algebra. 9

Subject Terms: projections, Eigenvalues, singular values, and eigenvectors, Combinatorics on words, letter, Mathematics - Operator Algebras, Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), Mathematics - Rings and Algebras, 01 natural sciences, generalized word, Free lattices, projective lattices, word problems, positive eigenvalues, Word problems (aspects of algebraic structures), Rings and Algebras (math.RA), 15A18, 15A57, positive definite matrices, FOS: Mathematics, Hermitian, skew-Hermitian, and related matrices, 0101 mathematics, Operator Algebras (math.OA), Word problems, etc. in computability and recursion theory

File Description: application/xml

Access URL: https://journals.uwyo.edu/index.php/ela/article/download/139/139
http://arxiv.org/abs/math/0504573
https://zbmath.org/1716192
https://doi.org/10.13001/1081-3810.1069
https://eudml.org/doc/122134
https://journals.uwyo.edu/index.php/ela/article/view/139
http://repository.uwyo.edu/ela/vol9/iss1/2/
http://ui.adsabs.harvard.edu/abs/2005math......4573H/abstract
http://siba-sinmemis.unile.it/journals/ELA/ela-articles/articles/vol9_pp21-26.pdf
https://core.ac.uk/display/148751213

Can Church's thesis be viewed as a Carnapian explication?

Authors: Quinon, Paula

Source: Synthese; Mar2021 Supplement 5, Vol. 198, p1047-1074, 28p

Subject Terms: RECURSION theory, MATHEMATICAL logic, MATHEMATICAL forms

People: CARNAP, Rudolf, 1891-1970

Recursion in programs, thought, and language.

Authors: Johnson-Laird, P. N. Bucciarelli, Monica Mackiewicz, Robert et al.

Source: Psychonomic Bulletin & Review; Apr2022, Vol. 29 Issue 2, p430-454, 25p

Subject Terms: RECURSIVE functions, RECURSION theory, KOLMOGOROV complexity, NATURAL languages, SHORT-term memory

recursion theoretic foundation of computation over real numbers.

Authors: Ng, Keng Meng Tavana, Nazanin R Yang, Yue

Source: Journal of Logic & Computation; Oct2021, Vol. 31 Issue 7, p1660-1689, 30p

Subject Terms: REAL numbers, COMPUTABLE functions, RECURSIVE functions, RECURSION theory

Geographic Terms: NOVA Scotia

Turing degrees in Polish spaces and decomposability of Borel functions.

Authors: Gregoriades, Vassilios Kihara, Takayuki Ng, Keng Meng

Source: Journal of Mathematical Logic; Apr2021, Vol. 21 Issue 1, pN.PAG-N.PAG, 41p

Subject Terms: BOREL sets, RECURSION theory, ANALYTIC functions, SET theory, SPACE, LOGICAL prediction

An inside/outside Ramsey theorem and recursion theory.

Authors: Fiori-Carones, Marta Shafer, Paul Soldà, Giovanni

Source: Transactions of the American Mathematical Society; Mar2022, Vol. 375 Issue 3, p1977-2024, 48p

Subject Terms: RECURSION theory, REVERSE mathematics, RAMSEY numbers, COMPUTABLE functions, RAMSEY theory, SAND

Some recent results on squarefree words

Authors: Berstel, Jean

Contributors: Berstel, Jean

Source: Lecture Notes in Computer Science ISBN: 9783540129202

Subject Terms: Free semigroups, generators and relations, word problems, square-free words, repetitions in words, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), 0102 computer and information sciences, Thue and Post systems, etc, 0101 mathematics, Thue systems, Word problems, etc. in computability and recursion theory, 01 natural sciences

File Description: application/xml

Access URL: http://www.numdam.org/item/PDML_1985___2B_21_0.pdf
https://zbmath.org/3977002
https://rd.springer.com/chapter/10.1007/3-540-12920-0_2
https://dblp.uni-trier.de/db/conf/stacs/stacs84.html#Berstel84
https://link.springer.com/chapter/10.1007%2F3-540-12920-0_2
https://link.springer.com/content/pdf/10.1007%2F3-540-12920-0_2.pdf
https://hal.science/hal-00619879v1

Reclaiming AI as a Theoretical Tool for Cognitive Science.

Authors: van Rooij, Iris Guest, Olivia Adolfi, Federico et al.

Source: Computational Brain & Behavior; Dec2024, Vol. 7 Issue 4, p616-636, 21p