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

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

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

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)

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

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

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

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

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

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

Studies on Partial Impredicativity in Formal Systems of Arithmetic and Computability Theory.

Autoren: Suzuki, Yudai

Quelle: Bulletin of Symbolic Logic; Jun2025, Vol. 31 Issue 2, p352-353, 2p

Schlagwörter: REVERSE mathematics, RECURSION theory, MONOTONE operators, MATHEMATICAL logic, MATHEMATICS

Countability constraints in order-theoretic approaches to computability.

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

Schlagwörter: TURING machines, RECURSION theory, DENSITY, MACHINERY

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

Autoren: Quinon, Paula

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

Schlagwörter: RECURSION theory, MATHEMATICAL logic, MATHEMATICAL forms

People: CARNAP, Rudolf, 1891-1970

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

Autoren: Qiu, Siyuan Xu, Jianfeng

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

Schlagwörter: MODEL theory, INFORMATION theory, SEMANTICS, MATHEMATICAL logic

THE DISCONTINUITY PROBLEM.

Autoren: BRATTKA, VASCO

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

Schlagwörter: SET theory, AXIOMATIC design, COMPUTABLE functions, AXIOMS

STRONG NEGATION IN THE THEORY OF COMPUTABLE FUNCTIONALS TCF.

Autoren: KÖPP, NILS PETRAKIS, IOSIF

Quelle: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 2, p1-28, 28p

Schlagwörter: CONSTRUCTIVE mathematics, FUNCTIONALS, DEFINITIONS

Alpha-Structural Recursion and Induction.

Autoren: Pitts, Andrew M.

Quelle: Journal of the ACM; May2006, Vol. 53 Issue 3, p459-506, 48p

Schlagwörter: PERMUTATIONS, RECURSION theory, MATHEMATICAL induction, FINITE element method, COMPUTER programming

LOGICAL AND PHILOSOPHICAL ANALYSIS OF PARADOXES ACCORDING TO THEIR TYPES.

Alternate Title: ANÁLISE LÓGICA E FILOSÓFICA DOS PARADOXOS DE ACORDO COM SEUS TIPOS. (Portuguese)

Autoren: Yildirim, Dilek Başerer

Quelle: Synesis; Jul-Sep2025, Vol. 17 Issue 3, p141-175, 35p

Schlagwörter: PARADOX, LOGIC, CRITICAL thinking, COGNITIVE analysis, REFLECTION (Philosophy)

Chair of Mathematical Logic and Theory of Algorithms.

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

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