On the public citation graph
Impossibility Results in AI: A Survey
0 signed · 120 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/(sici)1234-981x(199707)5:3<305::aid-euro184>3.0.co;2-4openalex-snapshot
‘Improving ratings’: audit in the British University system
inferredcites →https://doi.org/10.1007/978-1-349-17295-5_4openalex-snapshot
Problems of Monetary Management: The UK Experience
inferredcites →https://doi.org/10.1007/978-1-4684-2001-2_9openalex-snapshot
Reducibility among Combinatorial Problems
inferredcites →https://doi.org/10.1007/978-3-030-66515-9_13openalex-snapshot
What Is Important About the No Free Lunch Theorems?
inferredcites →https://doi.org/10.1007/978-3-319-15524-1openalex-snapshot
Why Greatness Cannot Be Planned: The Myth of the Objective
inferredcites →https://doi.org/10.1007/978-3-319-63703-7_16openalex-snapshot
A Game-Theoretic Analysis of the Off-Switch Game
inferredcites →https://doi.org/10.1007/978-3-642-32784-1_1openalex-snapshot
From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference
inferredcites →https://doi.org/10.1007/978-3-642-44958-1openalex-snapshot
Algorithmic probability and friends : Bayesian prediction and artificial intelligence, papers from the Ray Solomonoff 85th memorial conference, Melbourne, VIC, Australia, November 30-December 2, 2011
inferredcites →https://doi.org/10.1007/978-3-642-44958-1_17openalex-snapshot
No Free Lunch versus Occam’s Razor in Supervised Learning
inferredcites →https://doi.org/10.1007/bf01700692openalex-snapshot
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
inferredcites →https://doi.org/10.1007/bfb0080769openalex-snapshot
Diagonal arguments and cartesian closed categories
inferredcites →https://doi.org/10.1007/s00453-008-9244-5openalex-snapshot
Continuous Lunches Are Free Plus the Design of Optimal Optimization Algorithms
inferredcites →https://doi.org/10.1007/s00605-006-0423-7openalex-snapshot
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
inferredcites →https://doi.org/10.1007/s10676-017-9440-6openalex-snapshot
Human-aligned artificial intelligence is a multiobjective problem
inferredcites →https://doi.org/10.1007/s10955-017-1836-5openalex-snapshot
Why Does Deep and Cheap Learning Work So Well?
inferredcites →https://doi.org/10.1007/s11225-006-9011-zopenalex-snapshot
An Impossibility Theorem on Beliefs in Games
inferredcites →https://doi.org/10.1007/s11229-004-6221-7openalex-snapshot
The Surveyability of Mathematical Proof: A Historical Perspective
inferredcites →https://doi.org/10.1016/0149-7189(79)90048-xopenalex-snapshot
Assessing the impact of planned social change
inferredcites →https://doi.org/10.1016/0378-4754(92)90107-ropenalex-snapshot
Controllability of dynamical systems
inferredcites →https://doi.org/10.1016/j.aam.2004.10.003openalex-snapshot
Is complexity a source of incompleteness?
inferredcites →https://doi.org/10.1016/j.artint.2009.02.005openalex-snapshot
Computer-aided proofs of Arrow's and other impossibility theorems
inferredcites →https://doi.org/10.1016/j.ins.2022.11.083openalex-snapshot
What perceptron neural networks are (not) good for?
inferredcites →https://doi.org/10.1016/j.jcss.2014.12.001openalex-snapshot
From Lawvere to Brandenburger–Keisler: Interactive forms of diagonalization and self-reference
inferredcites →https://doi.org/10.1016/j.physa.2003.09.007openalex-snapshot
Information-theoretic approach to the study of control systems
inferredcites →https://doi.org/10.1016/j.physd.2008.03.040openalex-snapshot
Physical limits of inference
inferredcites →https://doi.org/10.1016/s0893-6080(98)00140-3openalex-snapshot
Nonlinear independent component analysis: Existence and uniqueness results
inferredcites →https://doi.org/10.1037/0033-295x.84.3.231openalex-snapshot
Telling more than we can know: Verbal reports on mental processes.
inferredcites →https://doi.org/10.1038/35023282openalex-snapshot
Ultimate physical limits to computation
inferredcites →https://doi.org/10.1038/d41586-019-00012-4openalex-snapshot
Unprovability comes to machine learning
inferredcites →https://doi.org/10.1038/s42256-018-0002-3openalex-snapshot
Learnability can be undecidable
inferredcites →https://doi.org/10.1073/pnas.211534898openalex-snapshot
On the impossibility of predicting the behavior of rational agents
inferredcites →https://doi.org/10.1080/00207727008920220openalex-snapshot
Every good regulator of a system must be a model of that system †
inferredcites →https://doi.org/10.1080/00455091.2005.10716582openalex-snapshot
The Many Moral Particularisms
inferredcites →https://doi.org/10.1080/0952813x.2014.895108openalex-snapshot
Limitations and risks of machine ethics
inferredcites →https://doi.org/10.1086/256963openalex-snapshot
A Difficulty in the Concept of Social Welfare
inferredcites →https://doi.org/10.1086/592550openalex-snapshot
The Meta-inductivist's Winning Strategy in the Prediction Game: A New Approach to Hume's Problem
inferredcites →https://doi.org/10.1086/693929openalex-snapshot
No Free Lunch Theorem, Inductive Skepticism, and the Optimality of Meta-induction
inferredcites →https://doi.org/10.1088/1402-4896/aa7ca8openalex-snapshot
What are the ultimate limits to computational techniques: verifier theory and unverifiability
inferredcites →https://doi.org/10.1090/s0002-9947-1953-0053041-6openalex-snapshot
Classes of Recursively Enumerable Sets and Their Decision Problems
inferredcites →https://doi.org/10.1098/rspa.2014.0540openalex-snapshot
Constructor theory of information
inferredcites →https://doi.org/10.1103/physreve.65.016128openalex-snapshot
Computational capabilities of physical systems
inferredcites →https://doi.org/10.1103/physrevlett.128.070501openalex-snapshot
Reformulation of the No-Free-Lunch Theorem for Entangled Datasets
inferredcites →https://doi.org/10.1103/prxquantum.2.040327openalex-snapshot
Universal Compiling and (No-)Free-Lunch Theorems for Continuous-Variable Quantum Learning
inferredcites →https://doi.org/10.1109/4235.585893openalex-snapshot
No free lunch theorems for optimization
inferredcites →https://doi.org/10.1109/cds52072.2021.00107openalex-snapshot
Undecidability of Underfitting in Learning Algorithms
inferredcites →https://doi.org/10.1109/tac.1972.1100128openalex-snapshot
Uncontrollability and unobservability of multivariable systems
inferredcites →https://doi.org/10.1111/1467-999x.00147openalex-snapshot
All That I Have to Say Has Already Crossed Your Mind
inferredcites →https://doi.org/10.1112/plms/s2-42.1.230openalex-snapshot
On Computable Numbers, with an Application to the Entscheidungsproblem
inferredcites →https://doi.org/10.1142/0531openalex-snapshot
Information, Randomness & Incompleteness
inferredcites →https://doi.org/10.1142/9789814368018_0001openalex-snapshot
The Impossibility of a Satisfactory Population Ethics
inferredcites →https://doi.org/10.1142/asmpsopenalex-snapshot
Advanced Series on Mathematical Psychology
inferredcites →https://doi.org/10.1142/s2705078520500034openalex-snapshot
Unpredictability of AI: On the Impossibility of Accurately Predicting All Actions of a Smarter Agent
inferredcites →https://doi.org/10.1142/s2705078520500150openalex-snapshot
Unexplainability and Incomprehensibility of AI
inferredcites →https://doi.org/10.1145/1149114.1149119openalex-snapshot
Comprehending software correctness implies comprehending an intelligence-related limitation
inferredcites →https://doi.org/10.1145/3278721.3278750openalex-snapshot
Incorrigibility in the CIRL Framework
inferredcites →https://doi.org/10.1162/neco.1996.8.7.1391openalex-snapshot
The Existence of A Priori Distinctions Between Learning Algorithms
inferredcites →https://doi.org/10.13052/jcsm2245-1439.1132openalex-snapshot
On the Controllability of Artificial Intelligence: An Analysis of Limitations
inferredcites →https://doi.org/10.1613/jair.1.12202openalex-snapshot
Superintelligence Cannot be Contained: Lessons from Computability Theory
inferredcites →https://doi.org/10.1613/jair.3126openalex-snapshot
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects
inferredcites →https://doi.org/10.2139/ssrn.2619734openalex-snapshot
Proceedings of the 8th International Conference Computer Ethics: Philosophical Enquiry
inferredcites →https://doi.org/10.2139/ssrn.3968077openalex-snapshot
An Incompleteness Result Regarding Within-System Modeling
inferredcites →https://doi.org/10.2178/bsl/1058448677openalex-snapshot
A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
inferredcites →https://doi.org/10.2307/2214318openalex-snapshot
Information, Deduction, and the A Priori
inferredcites →https://doi.org/10.2307/2268645openalex-snapshot
Rudolf Carnap and Yehoshua Bar-Hillel. An outline of a theory of semantic information. Technical report no. 247. Photo-offset. Research Laboratory of Electronics, Massachusetts Institute of Technology, Cambridge, Mass., 1952, ii + 49 pp. - Yehoshua Bar-Hillel and Rudolf Carnap. Semantic…
inferredcites →https://doi.org/10.2307/2371045openalex-snapshot
An Unsolvable Problem of Elementary Number Theory
inferredcites →https://doi.org/10.23919/mipro.2018.8400040openalex-snapshot
Explainable artificial intelligence: A survey
inferredcites →https://doi.org/10.23919/mipro48935.2020.9245153openalex-snapshot
AI safety: state of the field through quantitative lens
inferredcites →https://doi.org/10.2478/bpasts-2013-0031openalex-snapshot
Controllability of dynamical systems. A survey
inferredcites →https://doi.org/10.24963/ijcai.2017/656openalex-snapshot
Reinforcement Learning with a Corrupted Reward Channel
inferredcites →https://doi.org/10.4230/lipics.itcs.2017.43openalex-snapshot
Inherent Trade-Offs in the Fair Determination of Risk Scores
inferredcites →https://doi.org/10.48550/arxiv.1704.02882openalex-snapshot
Dynamic Safe Interruptibility for Decentralized Multi-Agent Reinforcement Learning
inferredcites →https://doi.org/10.48550/arxiv.1711.03499openalex-snapshot
Constraints on physical reality arising from a formalization of knowledge
inferredcites →https://doi.org/10.48550/arxiv.1712.05812openalex-snapshot
Occam's razor is insufficient to infer the preferences of irrational agents
inferredcites →https://doi.org/10.48550/arxiv.1806.07538openalex-snapshot
Towards Robust Interpretability with Self-Explaining Neural Networks
inferredcites →https://doi.org/10.48550/arxiv.1811.12359openalex-snapshot
Challenging Common Assumptions in the Unsupervised Learning of Disentangled Representations
inferredcites →https://doi.org/10.48550/arxiv.1901.00064openalex-snapshot
Impossibility and Uncertainty Theorems in AI Value Alignment (or why your AGI should not have a utility function)
inferredcites →https://doi.org/10.48550/arxiv.1901.01851openalex-snapshot
Personal Universes: A Solution to the Multi-Agent Value Alignment Problem
inferredcites →https://doi.org/10.48550/arxiv.2002.06041openalex-snapshot
A general theory of identification
inferredcites →https://doi.org/10.48550/arxiv.2007.06024openalex-snapshot
The Impossibility Theorem of Machine Fairness -- A Causal Perspective
inferredcites →https://doi.org/10.48550/arxiv.2110.06674openalex-snapshot
Truthful AI: Developing and governing AI that does not lie
inferredcites →https://doi.org/10.48550/arxiv.2202.01344openalex-snapshot
Formal Mathematics Statement Curriculum Learning
inferredcites →https://doi.org/10.5840/croatjphil201818341openalex-snapshot
How Gruesome are the No-free-lunch Theorems for Machine Learning?
inferredcites →https://doi.org/10.5860/choice.194685openalex-snapshot
The master algorithm: how the quest for the ultimate learning machine will remake our world
inferredcites →https://doi.org/10.7551/mitpress/8009.003.0011openalex-snapshot
Why Philosophers Should Care about Computational Complexity
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-031-50495-2_9openalex-snapshot
Design of a Technological System with Artificial Intelligence to Manage Projects Through the Use of Knowledge Management and Lessons Learned
inferred← citeshttps://doi.org/10.1007/978-3-032-00800-8_3openalex-snapshot
On the Arrowian Impossibility of Machine Intelligence Measures
inferred← citeshttps://doi.org/10.1007/978-3-032-33195-3_21openalex-snapshot
Fundamental Limits of Runtime Policy Enforcement in Multi-agent AGI Systems
inferred← citeshttps://doi.org/10.1007/s11127-025-01265-6openalex-snapshot
Costs of choice: reformulating price theory without heroic assumptions
inferred← citeshttps://doi.org/10.1007/s44163-026-01905-wopenalex-snapshot
The embodied ethics alignment problem of AI
inferred← citeshttps://doi.org/10.1016/j.entcom.2025.100952openalex-snapshot
A Cyberpunk 2077 perspective on the prediction and understanding of future technology
inferred← citeshttps://doi.org/10.1016/j.ifacol.2023.10.134openalex-snapshot
Combining neural networks and control: potentialities, patterns and perspectives
inferred← citeshttps://doi.org/10.1016/j.inffus.2024.102301openalex-snapshot
Explainable Artificial Intelligence (XAI) 2.0: A manifesto of open challenges and interdisciplinary research directions
inferred← citeshttps://doi.org/10.1016/j.synbio.2026.05.019openalex-snapshot
Artificial intelligence catalyzes antimicrobial peptide design
inferred← citeshttps://doi.org/10.1038/s41598-025-99060-2openalex-snapshot
Machines that halt resolve the undecidability of artificial intelligence alignment
inferred← citeshttps://doi.org/10.1063/5.0248353openalex-snapshot
Evaluating the efficacy of quadratic voting in decentralized governance: A case study on blockchain platforms
inferred← citeshttps://doi.org/10.1109/mipro70003.2026.11591524openalex-snapshot
AI-Assisted Unit Test Writing and Test-Driven Code Refactoring: A Case Study
inferred← citeshttps://doi.org/10.1109/swc65939.2025.00146openalex-snapshot
Confronting Challenges of the Neuro-Symbolic AI (NSAI) in Human-Centered Computing (HCC), Healthcare, Education and Research, Emphasizing Ethics and Safety- an Interdisciplinary Qualitative Survey
inferred← citeshttps://doi.org/10.1109/tmc.2026.3709177openalex-snapshot
Digital Representatives in Collective Decision-Making
inferred← citeshttps://doi.org/10.17535/crorr.2022.0007openalex-snapshot
Delivery pattern planning in retailing with transport and warehouse workload balancing
inferred← citeshttps://doi.org/10.23919/mipro55190.2022.9803345openalex-snapshot
Exact solving scheduling problems accelerated by graph neural networks
inferred← citeshttps://doi.org/10.23919/mipro55190.2022.9803630openalex-snapshot
Towards intelligent compiler optimization
inferred← citeshttps://doi.org/10.23919/mipro55190.2022.9803681openalex-snapshot
Explainable Artificial Intelligence: An Updated Perspective
inferred← citeshttps://doi.org/10.3390/e26060524openalex-snapshot
Effect of Private Deliberation: Deception of Large Language Models in Game Play
inferred← citeshttps://doi.org/10.3390/info15050268openalex-snapshot
The Convergence of Artificial Intelligence and Blockchain: The State of Play and the Road Ahead
inferred← citeshttps://doi.org/10.4018/979-8-3373-2752-5.ch010openalex-snapshot
AI for Personalized Learning Experiences
inferred← citeshttps://doi.org/10.48550/arxiv.2310.19775openalex-snapshot
Explainable Artificial Intelligence (XAI) 2.0: A Manifesto of Open Challenges and Interdisciplinary Research Directions
inferred← citeshttps://doi.org/10.70777/si.v1i1.9943openalex-snapshot
Against Purposeful Artificial Intelligence Failures
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.