Výsledky vyhľadávania - abstract and (axiomatic OR automatic) computability and recursion theory*

Abstract Hierarchies and Degrees

Autori: Ivanov, Ljubomir L.

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

Prístupová URL adresa: https://www.jstor.org/stable/2275011

Reverse Complexity.

Autori: Asperti, Andrea

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

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

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

Autori: Edwards, Darren J.

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

Predmety: LANGUAGE models, ARTIFICIAL intelligence, COGNITIVE bias, QUANTUM operators, COGNITIVE maps (Psychology)

Definibilitas Minimaximi

Autori: Duvalier, Matthew

Predmety: Logic, Theoretical mathematics, Mathematics

Popis súboru: application/pdf

Prístupová URL adresa: https://escholarship.org/uc/item/7326h843
https://escholarship.org/content/qt7326h843/qt7326h843.pdf

Indexed induction–recursion

Autori: Dybjer, Peter Setzer, Anton

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

Predmety: *MATHEMATICAL induction, *SET theory, *MATHEMATICS, *AXIOMATIC set theory, *AXIOMS

Formalizing Restriction Categories.

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

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

Predmety: AXIOMATIC design, MATRIX analytic methods

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

Autori: Qiu, Siyuan Xu, Jianfeng

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

Predmety: MODEL theory, INFORMATION theory, SEMANTICS, MATHEMATICAL logic

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

Autori: Suzuki, Yudai

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

Predmety: REVERSE mathematics, RECURSION theory, MONOTONE operators, MATHEMATICAL logic, MATHEMATICS

From Fieldwork to Linguistic Theory

Autori: Gibson, Edward Poliak, Moshe

Typ zdroja: eBook.

Kategórie: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

A pathological punctually 1-decidable structure.

Autori: Hammatt, Ellen Turetsky, Dan Melnikov, Alexander G. a ďalší

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

Predmety: MATHEMATICAL logic, DECIDABILITY (Mathematical logic), RECURSION theory

Countability constraints in order-theoretic approaches to computability.

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

Predmety: TURING machines, RECURSION theory, DENSITY, MACHINERY

Alpha-Structural Recursion and Induction.

Autori: Pitts, Andrew M.

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

Predmety: PERMUTATIONS, RECURSION theory, MATHEMATICAL induction, FINITE element method, COMPUTER programming

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

Autori: Salto, Francisco Requena, Carmen Alvarez-Merino, Paula a ďalší

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

Predmety: ELECTROENCEPHALOGRAPHY, ALPHA rhythm, PROBABILITY theory

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

Autori: Quinon, Paula

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

Predmety: RECURSION theory, MATHEMATICAL logic, MATHEMATICAL forms

Osoby: CARNAP, Rudolf, 1891-1970

Conceptualising Programming Language Semantics.

Autori: Astarte, Troy Kaighin

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

Predmety: PROGRAMMING languages, SEMANTICS, COMPUTER science education, HISTORICAL analysis, THEORY of knowledge, METAPHOR

Exploring the philosophical perspectives of future robots.

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

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

Predmety: PHILOSOPHY of science, SCIENTIFIC method, ARTIFICIAL intelligence, PRINCIPLE (Philosophy), MACHINE learning

THE DISCONTINUITY PROBLEM.

Autori: BRATTKA, VASCO

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

Predmety: SET theory, AXIOMATIC design, COMPUTABLE functions, AXIOMS

Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting).

Zdroj: Oberwolfach Reports; 2021, p1693-1757, 65p

Predmety: MATHEMATICAL logic, ABSTRACT algebra, PROOF theory, LOGIC, COMPUTATIONAL mechanics

Automatic differentiation for ML-family languages: Correctness via logical relations.

Autori: Lucatelli Nunes, Fernando Vákár, Matthijs

Zdroj: Mathematical Structures in Computer Science; Sep2025, Vol. 34 Issue 7, p747-806, 60p

Predmety: PROGRAMMING language semantics, LOGIC, PROGRAM transformation, AUTOMATIC differentiation, PROGRAMMING languages

2024 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Iowa State University Ames, IA, USA May 14–17, 2024.

Zdroj: Bulletin of Symbolic Logic; Dec2024, Vol. 30 Issue 4, p547-579, 33p

Predmety: DISCRETE mathematics, MATHEMATICAL logic, PROBABILISTIC automata, PHILOSOPHY of science, MATHEMATICAL equivalence, KOLMOGOROV complexity, COMPUTABLE functions, BIPARTITE graphs, TOPOLOGICAL groups