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

Chair of Mathematical Logic and Theory of Algorithms.

Authors: Semenov, A. L. Babenko, M. A. Belov, A. Ya. et al.

Source: Moscow University Mathematics Bulletin; Feb2025, Vol. 80 Issue 1, p23-33, 11p

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

Elementary quantum recursion schemes that capture quantum polylogarithmic-time computability of quantum functions.

Authors: Yamakami, Tomoyuki

Source: Mathematical Structures in Computer Science; Nov2024, Vol. 34 Issue 10, p710-745, 36p

Subject Terms: TURING machines, QUANTUM computing, LOGIC, DEFINITIONS

THE DISCONTINUITY PROBLEM.

Authors: BRATTKA, VASCO

Source: Journal of Symbolic Logic; Sep2023, Vol. 88 Issue 3, p1191-1212, 22p

Subject Terms: SET theory, AXIOMATIC design, COMPUTABLE functions, AXIOMS

2024 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM 2024 University of Gothenburg Gothenburg, Sweden 24 June – 28 June, 2024.

Source: Bulletin of Symbolic Logic; Dec2024, Vol. 30 Issue 4, p580-614, 35p

Subject Terms: MATHEMATICAL proofs, COMPUTER logic, PHILOSOPHY of science, MATHEMATICAL logic, DISCRETE mathematics, WORD problems (Mathematics), RAMSEY numbers, PROOF theory, KOLMOGOROV complexity

Probabilities on Cones of Multimatrix Variate Distributions and Elliptical Affine Shape Distributions Under Real Normed Division Algebras.

Authors: Caro-Lopera, Francisco J. Díaz-García, José A.

Source: Sankhya A; Aug2025, Vol. 87 Issue 2, p349-377, 29p

On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales.

Authors: Neri, Morenikeji Powell, Thomas

Source: Transactions of the American Mathematical Society, Series B; 7/24/2025, Vol. 12, p974-1019, 46p

Subject Terms: STOCHASTIC convergence, STOCHASTIC processes, PROOF theory, PROBABILITY theory, DATA extraction

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

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

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)

Research on a General State Formalization Method from the Perspective of Logic.

Authors: Qiu, Siyuan Xu, Jianfeng

Source: Mathematics (2227-7390); Oct2025, Vol. 13 Issue 20, p3324, 36p

Subject Terms: MODEL theory, INFORMATION theory, SEMANTICS, MATHEMATICAL logic

On Productiveness and Complexity in Computable Analysis Through Rice-Style Theorems for Real Functions.

Authors: Xie, Jingnan Hunt III, Harry B. Stearns, Richard E.

Source: Mathematics (2227-7390); Oct2024, Vol. 12 Issue 20, p3248, 12p

Subject Terms: HILBERT'S tenth problem, REAL variables, PHILOSOPHY of language, COMPUTATIONAL complexity, FORMAL languages, COMPUTABLE analysis

Set Theory.

Authors: Farah, Ilijas Schindler, Ralf Sinapova, Dima et al.

Source: Oberwolfach Reports; 2025, Vol. 22 Issue 1, p75-135, 60p

Subject Terms: SET theory, RESEARCH personnel, COMBINATORICS, MATHEMATICS

Where George Spencer-Brown went wrong – re-entry recalculated.

Authors: Oksas, André

Source: Kybernetes; 2025, Vol. 54 Issue 8, p4300-4327, 28p

Subject Terms: DISCRETE mathematics, MATHEMATICAL errors, SYSTEMS theory, PHILOSOPHY of mathematics, INFORMATION technology

Construction of Countably Infinite Programs That Evade Malware/Non-Malware Classification for Any Given Formal System †.

Authors: Liagkou, Vasiliki Nastou, Panagiotis E. Spirakis, Paul et al.

Source: Cryptography (2410-387X); Mar2025, Vol. 9 Issue 1, p16, 26p

Subject Terms: MALWARE, ANTI-malware (Computer software), TURING machines, INTERNET security, CLASSIFICATION algorithms

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