Search Results - abstract and (axiomatic OR automation) computability and recursion theory*

Computable classifications of continuous, transducer, and regular functions.

Authors: Franklin, Johanna N.Y. Hölzl, Rupert Melnikov, Alexander et al.

Source: Theoretical Computer Science. Mar2025, Vol. 1032, pN.PAG-N.PAG. 1p.

Subject Terms: *RECURSION theory, *BANACH spaces, *CONTINUOUS functions, *TRANSDUCERS, *CLASSIFICATION

Abstract Hierarchies and Degrees

Authors: Ivanov, Ljubomir L.

Source: The Journal of Symbolic Logic, 1989 Mar 01. 54(1), 16-25.

Access URL: https://www.jstor.org/stable/2275011

Reverse Complexity.

Authors: Asperti, Andrea

Source: Journal of Automated Reasoning; Dec2015, Vol. 55 Issue 4, p373-388, 16p

Subject Terms: COMPLEXITY (Philosophy), MACHINE performance, MATHEMATICAL proofs, MATHEMATICS theorems, AXIOMATIC set theory

Intensional Kleene and Rice Theorems for Abstract Program Semantics

Authors: Baldan, Paolo Ranzato, Francesco Zhang, Linpeng

Index Terms: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, F.1.1, F.3.1, text

URL: http://arxiv.org/abs/2105.14579

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)

Definibilitas Minimaximi

Authors: Duvalier, Matthew

Subject Terms: Logic, Theoretical mathematics, Mathematics

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/7326h843
https://escholarship.org/content/qt7326h843/qt7326h843.pdf

Indexed induction–recursion

Authors: Dybjer, Peter Setzer, Anton

Source: Journal of Logic & Algebraic Programming. Jan2006, Vol. 66 Issue 1, p1-49. 49p.

Subject Terms: *MATHEMATICAL induction, *SET theory, *MATHEMATICS, *AXIOMATIC set theory, *AXIOMS

From Fieldwork to Linguistic Theory

Authors: Gibson, Edward Poliak, Moshe

Resource Type: eBook.

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Uniformly Reflexive Structures: On the Nature of Gödelizations and Relative Computability

Authors: Wagner, Eric G.

Source: Transactions of the American Mathematical Society, 1969 Oct 01. 144, 1-41.

Access URL: https://www.jstor.org/stable/1995267

The recursively generational brain.

Authors: van Deventer, Vasi

Source: Theory & Psychology; Oct2016, Vol. 26 Issue 5, p647-664, 18p

Subject Terms: BRAIN chemistry, ARTIFICIAL neural networks, NEUROMORPHICS, SIMULATION methods & models, RECURSION theory

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Authors: Naoki Kobayashi James Worrell

Resource Type: eBook.

Subjects: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Engines of Order : A Mechanology of Algorithmic Techniques

Authors: Bernhard Rieder

Resource Type: eBook.

Categories: COMPUTERS / Information Theory, COMPUTERS / Programming / Algorithms, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, PHILOSOPHY / Epistemology

Polynomial Time Turing Mitoticity and Arithmetical Hierarchy.

Authors: Mokatsian, A. H.

Source: Pattern Recognition & Image Analysis; Mar2024, Vol. 34 Issue 1, p9-19, 11p

On Giving Meanings to Programs.

Authors: Cardone, Felice

Source: Axiomathes: Global Philosophy; Feb2023, Vol. 33 Issue 1, p1-22, 22p

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Authors: Stephanie Weirich

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Natural Communication : The Obstacle-Embracing Art of Abstract Gnomonics

Authors: Elias Zafiris Ludger Hovestadt Vera Bühlmann

Resource Type: eBook.

Subjects: Complexity (Philosophy)

Categories: ARCHITECTURE / Study & Teaching, ARCHITECTURE / Criticism

Formalizing Restriction Categories.

Authors: CHAPMAN, JAMES UUSTALU, TARMO VELTRI, NICCOLÒ

Source: Journal of Formalized Reasoning; 2017, Vol. 10 Issue 1, p1-36, 36p

Subject Terms: AXIOMATIC design, MATRIX analytic methods

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

Countability constraints in order-theoretic approaches to computability.

Source: Mathematical Structures in Computer Science; Jun2024, Vol. 34 Issue 6, p1-38, 38p

Subject Terms: TURING machines, RECURSION theory, DENSITY, MACHINERY