Suchergebnisse - abstract and ((axiomatic OR automatic) 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

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

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

Electrical analysis of logical complexity: an exploratory eeg study of logically valid/invalid deducive inference.

Autoren: Salto, Francisco Requena, Carmen Alvarez-Merino, Paula et al.

Quelle: Brain Informatics; 6/7/2023, Vol. 10 Issue 1, p1-15, 15p

Schlagwörter: ELECTROENCEPHALOGRAPHY, ALPHA rhythm, PROBABILITY theory

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

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

A pathological punctually 1-decidable structure.

Autoren: Hammatt, Ellen Turetsky, Dan Melnikov, Alexander G. et al.

Quelle: Proceedings of the American Mathematical Society; Oct2025, Vol. 153 Issue 10, p4447-4462, 16p

Schlagwörter: MATHEMATICAL logic, DECIDABILITY (Mathematical logic), RECURSION theory

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

Conceptualising Programming Language Semantics.

Autoren: Astarte, Troy Kaighin

Quelle: Philosophies; Aug2025, Vol. 10 Issue 4, p90, 22p

Schlagwörter: PROGRAMMING languages, SEMANTICS, COMPUTER science education, HISTORICAL analysis, THEORY of knowledge, METAPHOR

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

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

Exploring the philosophical perspectives of future robots.

Autoren: Guilherme, Anthony Costa, José Félix

Quelle: International Journal of Parallel, Emergent & Distributed Systems; Jan2025, Vol. 40 Issue 1, p21-58, 38p

Schlagwörter: PHILOSOPHY of science, SCIENTIFIC method, ARTIFICIAL intelligence, PRINCIPLE (Philosophy), MACHINE learning

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

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