Saladini's theorem formalizes the limits of objectivity in logical system built by finite agents. Logical truth emerges collectively, not absolutely. Applications include AI alignment, cybersecurity, and distributed system design, showing how complexity beyond agent capacity leads to emergent behavior and structural vulnerabilites.
Gabriele Saladini (Thu,) studied this question.