Suchergebnisse - abstract and ((axiomatic OR automation) OR automatizace) computability and recursion theory*

Structure and Computation.

Autoren: Grabmayr, Balthasar¹ (AUTHOR) balthasar.grabmayr@uni-tuebingen.de

Quelle: Nous (0029-4624). Dec2025, p1. 13p.

Schlagwörter: *ARITHMETIC, *NUMBER systems, *COMPUTER systems, *RECURSION theory, *MATHEMATICS, *FORMAL languages

Computable classifications of continuous, transducer, and regular functions.

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

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

Schlagwörter: *RECURSION theory, *BANACH spaces, *CONTINUOUS functions, *TRANSDUCERS, *CLASSIFICATION

Abstract Hierarchies and Degrees

Autoren: Ivanov, Ljubomir L.

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

Zugangs-URL: https://www.jstor.org/stable/2275011

Definibilitas Minimaximi

Autoren: Duvalier, Matthew

Schlagwörter: Logic, Theoretical mathematics, Mathematics

Dateibeschreibung: application/pdf

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

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

Autoren: Edwards, Darren J.

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

Schlagwörter: LANGUAGE models, ARTIFICIAL intelligence, COGNITIVE bias, QUANTUM operators, COGNITIVE maps (Psychology)

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

Autoren: Wagner, Eric G.

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

Zugangs-URL: https://www.jstor.org/stable/1995267

Reverse Complexity.

Autoren: Asperti, Andrea

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

Schlagwörter: COMPLEXITY (Philosophy), MACHINE performance, MATHEMATICAL proofs, MATHEMATICS theorems, AXIOMATIC set theory

Intensional Kleene and Rice Theorems for Abstract Program Semantics

Autoren: Baldan, Paolo Ranzato, Francesco Zhang, Linpeng

Index Begriffe: 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

From Fieldwork to Linguistic Theory

Autoren: Gibson, Edward Poliak, Moshe

Resource Type: eBook.

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Indexed induction–recursion

Autoren: Dybjer, Peter Setzer, Anton

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

Schlagwörter: *MATHEMATICAL induction, *SET theory, *MATHEMATICS, *AXIOMATIC set theory, *AXIOMS

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

Autoren: Naoki Kobayashi James Worrell

Resource Type: eBook.

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

Autoren: Bernhard Rieder

Resource Type: eBook.

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

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

Autoren: Stephanie Weirich

Resource Type: eBook.

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

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

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

Autoren: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

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

Natural Communication : The Obstacle-Embracing Art of Abstract Gnomonics

Autoren: Elias Zafiris Ludger Hovestadt Vera Bühlmann

Resource Type: eBook.

Schlagworte: Complexity (Philosophy)

Categories: ARCHITECTURE / Study & Teaching, ARCHITECTURE / Criticism

Polynomial Time Turing Mitoticity and Arithmetical Hierarchy.

Autoren: Mokatsian, A. H.

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

The recursively generational brain.

Autoren: van Deventer, Vasi

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

Schlagwörter: BRAIN chemistry, ARTIFICIAL neural networks, NEUROMORPHICS, SIMULATION methods & models, RECURSION theory

On Giving Meanings to Programs.

Autoren: Cardone, Felice

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

Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Autoren: Christel Baier Ugo Dal Lago

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics

Formalizing Restriction Categories.

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

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

Schlagwörter: AXIOMATIC design, MATRIX analytic methods