AI governance, autonomous agents, behavioral audit trail, AI agent accountability, provenance, hash chain, digital signatures, agent governance
AI Ethics, Recognition Theory, Honneth, Brandom, Pippin, Ikäheimo, Manufactured Recognition, Capacity Rei Cation, Behavioral-Twin Test
SR 11-7, OCC 2011-12, AI code transformation, COBOL modernization, governance framework, TPRM, transformation risk, functional equivalence
Artificial Intelligence, Philosophy of Science, Scientific Discovery, Kolmogorov Complexity, Undecidability, Verification Asymmetry, Large Language Models
articial intelligence, tacit knowledge, verication, apprenticeship, human capital, phase transition, pipeline collapse, credentialing JEL Classication: J24
Foundation Models, AI Governance, Mixed Oligopoly, Natural Monopoly, Certification Intermediaries, Structural Separation, Access Regulation
AI accountability, supply chain governance, grain trade, algorithmic decision-making, regulatory gap, human-in-the-loop
national power, economic complexity, state capacity, production networks, useful work, hegemonic transition, representation theorem JEL Classication: F02
AI-Assisted Mathematics, Proof Engineering, Generation-verification Asymmetry, SAT Solving, Formal Verification, Lean, Mathlib, Kernel-only Formalization, Rado Numbers, Computer-assisted Proof, Reproducibility, Audit Artifacts, Verification Infrastructure, Satisfiability, Proof Assistants, Claim-Level Verification, Verification Profiles, Closure Profiles, Hamilton Cycles, Hamilton Paths, Noncrossing Partitions, Kernel-Closed Verification, Mixed-Boundary Verification
Eliminative Materialism, Concept Eliminativism, Philosophy of Mind, Philosophy of Science, Large Language Models, AI Governance, Folk Psychology, Impossibility Result, Distributed Cognition, AI Testimony
information value, Blackwell ordering, impossibility theorem, irreversibility, percolation, phase transition, JEL: D81, JEL: D83, JEL: C65
Rado Numbers, Ramsey Theory, SAT Solving, Partition Regularity, Badic Valuation
