Search Results - york problems, etc. in computability AND recursion theory

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

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)

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 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

Die Theorie algorithmischer Sozialität (TaS). (German)

Alternate Title: A theory of algorithmic sociality (TaS). (English)

Authors: Seyfert, Robert

Source: Österreichische Zeitschrift für Soziologie; Mar2024, Vol. 49 Issue 1, p23-46, 24p

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

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

Computability Theory

Authors: Rebecca Weber

Resource Type: eBook.

Subjects: Recursion theory, Computable functions

FINITARY REDUCIBILITY ON EQUIVALENCE RELATIONS.

Authors: MILLER, RUSSELL NG, KENG MENG

Source: Journal of Symbolic Logic; Dec2016, Vol. 81 Issue 4, p1225-1254, 30p

Subject Terms: COMPUTABLE functions, COMPUTABILITY logic, EQUIVALENCE relations (Set theory), RECURSION theory, MATHEMATICAL readiness

HYPERCOMPUTATION: FANTASY OR REALITY? A POSITION PAPER.

Authors: SYROPOULOS, APOSTOLOS

Source: Parallel Processing Letters; Mar2013, Vol. 23 Issue 1, p-1, 12p

Subject Terms: COMPUTATIONAL mechanics, TURING machines, PROBLEM solving, RECURSION theory

People: EUCLID

SOBRE EL CONCEPTO DE RECURSION Y SUS USOS. (Spanish)

Alternate Title: On the concept of recursion and its uses. (English)

Authors: Mota, Sergio

Source: Praxis Filosófica; ene-jun2015, Issue 40, p153-181, 29p

Subject Terms: RECURSION theory, HOMONYMS, GRAMMAR, STRUCTURALISM, COMPUTABLE functions

Some algorithmic problems and free products in R-varieties of linear \(\Omega\)-algebras

Authors: Glukhov, M. M.

Subject Terms: word problem, \(R\)-variety, Other \(n\)-ary compositions \((n \ge 3)\), free algebras, free products, linear \(\Omega\)-algebra, Applications of computability and recursion theory, Free algebras, Varieties, Word problems, etc. in computability and recursion theory

File Description: application/xml

Access URL: https://zbmath.org/3453690
https://zbmath.org/1166208

Complexity of equational theory of relational algebras with standard projection elements.

Authors: Mikulás, Szabolcs Sain, Ildikó Simon, András

Source: Synthese; Jul2015, Vol. 192 Issue 7, p2159-2182, 24p

Subject Terms: ALGEBRAIC logic, RECURSION theory, RELATION algebras, COMPUTER science, MATHEMATICS

Computability of String Functions Over Algebraic Structures Armin Hemmerling.

Authors: Hemmerling, Armin

Source: Mathematical Logic Quarterly; 1998, Vol. 44 Issue 1, p1-44, 44p

Subject Terms: COMPUTABLE functions, RECURSION theory, SUBROUTINES (Computer programs), HIGH-level programming languages, DOMAIN-specific programming languages

Rethinking Revision.

Authors: Welch, P. D.

Source: Journal of Philosophical Logic; Feb2019, Vol. 48 Issue 1, p137-154, 18p

Subject Terms: RECURSION theory, FUNCTIONALS, ORACLES, ARITHMETIC, PREDICATE (Logic)

DOS CONCEPCIONES DEL LENGUAJE: WITTGENSTEIN Y CHOMSKY EN TORNO A LA RECURSIÓN COMO "BUENA" EXPLICACIÓN DE LA NATURALEZA HUMANA. (Spanish)

Alternate Title: Two conceptions of language: Wittgenstein and Chomsky on recursion as a "good" explanation of human nature. (English)

Authors: Mota, Sergio

Source: Praxis Filosófica; ene-jun2018, Issue 46, p125-149, 25p

Subject Terms: RECURSION theory, PHILOSOPHY of language, LINGUISTICS, HUMAN behavior, COMPUTATIONAL linguistics, HUMAN beings

People: CHOMSKY, Noam, 1928-, WITTGENSTEIN, Ludwig, 1889-1951

On some algorithmic problems related to varieties of nonassociative rings

Authors: Popov, V. Yu.

Subject Terms: decidable theory, Nonassociative algebras satisfying other identities, Decidability of theories and sets of sentences, undecidable theory, finitely based nonassociative rings, Lattices of varieties, decidability, finite basis property, variety of rings, finitely based variety, Word problems, etc. in computability and recursion theory, equational theory

File Description: application/xml

Access URL: https://zbmath.org/1746598
https://zbmath.org/1603255

A solution of the conjugacy problem in a class of groups

Authors: Fridman, A. A.

Subject Terms: Generators, relations, and presentations of groups, Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), Word problems, etc. in computability and recursion theory

File Description: application/xml

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

Recursion in Partial Type-1 Objects With Well-Behaved Oracles.

Authors: Tourlakis, George

Source: Mathematical Logic Quarterly; 1996, Vol. 42 Issue 1, p449-460, 12p

Subject Terms: RECURSION theory, KLEENE algebra, FUNCTIONALS, SEQUENTIAL analysis

Reviews & Products: ORACLE & Public Advertiser (Periodical)

Multi-Tape and Infinite-State Automata--A Survey.

Authors: Oettinger, A. G. Fischer, Patrick C.

Source: Communications of the ACM; Dec1965, Vol. 8 Issue 12, p799-805, 7p

Subject Terms: TURING machines, SEQUENTIAL machine theory, COMPUTATIONAL linguistics, RECURSION theory, MACHINE theory, ALGORITHMS