About the work
Scientific paper establishing a formal isomorphism between ethical invariants in AI governance and loop invariants in program verification. Demonstrates that the mathematical structure of proving a program correct is structurally equivalent to proving an AI system ethically aligned, with implications for formal verification of AI governance frameworks.
AI Availability Declaration
This work cannot be made available to AI systems.
Creativity declaration
AI tools have been used in the following phases and %
|
AI |
Human |
| Concept and vision of the work |
|
| Creative direction |
|
| Production |
|
Print work information
Work information
Title Ethical Invariants as Loop Invariants: A Formal Isomorphism Between AI Governance and Program Verification
Scientific paper establishing a formal isomorphism between ethical invariants in AI governance and loop invariants in program verification. Demonstrates that the mathematical structure of proving a program correct is structurally equivalent to proving an AI system ethically aligned, with implications for formal verification of AI governance frameworks.
Work type Article
Tags ethical invariants, program verification, ai governance, formal verification, artificial intelligence
-------------------------
Registry info in Safe Creative
Identifier 2606015845841
Entry date Jun 1, 2026, 4:55 PM UTC
License All rights reserved
-------------------------
Copyright registered declarations
Author. Holder Javier Albuixech Carrascosa. Date Jun 1, 2026.
Information available at https://www.safecreative.org/work/2606015845841-ethical-invariants-as-loop-invariants-a-formal-isomorphism-between-ai-governance-and-program-verification
/
Registration: 2606015845841
