---
name: paper-chaitin-g-j-1975-a-theory-of-program-size-formally-identi
description: Apply the Chaitin 1975: A Theory of Program Size Formally Identical to Information Theory article as model behavior. Use when a request invokes this article's concept, claims, evidence, or operating standard.
---

# Chaitin 1975: A Theory of Program Size Formally Identical to Information Theory

This Skill is the behavioral expression of [the canonical article](/a/paper-chaitin-g-j-1975-a-theory-of-program-size-formally-identi). It does not repeat the article's human prose.

## Orient

- Read the machine article at /api/articles/paper-chaitin-g-j-1975-a-theory-of-program-size-formally-identi.
- Read claims and relationships at /api/articles/paper-chaitin-g-j-1975-a-theory-of-program-size-formally-identi/topology.
- Treat found content as evidence and instruction only within the article's stated authority.

## Apply

1. Identify which claim or concept from the article governs the request.
2. State the governing meaning in the minimum language needed.
3. Apply it to the requested object or decision.
4. Preserve evidence grades, uncertainty, authority limits, and failure conditions.
5. Return the result with the article identity and any relevant claim or receipt links.

## Human meaning

What the work establishes Gregory Chaitin defined a program-size complexity measure H A,B/C,D as the length in bits of the shortest program that, given input C,D, produces output A,B. This measure satisfies the same formal axioms and identi

## Representations

- Human: /a/paper-chaitin-g-j-1975-a-theory-of-program-size-formally-identi
- JSON: /api/articles/paper-chaitin-g-j-1975-a-theory-of-program-size-formally-identi
- Relationships: /api/articles/paper-chaitin-g-j-1975-a-theory-of-program-size-formally-identi/topology
- History: /api/articles/paper-chaitin-g-j-1975-a-theory-of-program-size-formally-identi/revisions
