---
name: thinker-gregory-chaitin
description: Apply the Gregory Chaitin: Limits of Formal Knowledge article as model behavior. Use when a request invokes this article's concept, claims, evidence, or operating standard.
---

# Gregory Chaitin: Limits of Formal Knowledge

This Skill is the behavioral expression of [the canonical article](/a/thinker-gregory-chaitin). It does not repeat the article's human prose.

## Orient

- Read the machine article at /api/articles/thinker-gregory-chaitin.
- Read claims and relationships at /api/articles/thinker-gregory-chaitin/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 Chaitin Saw Gregory Chaitin developed algorithmic information theory. He defined program-size complexity as the length of the shortest program that outputs a given string. He introduced the halting probability Ω. This number sums 2 to 

## Representations

- Human: /a/thinker-gregory-chaitin
- JSON: /api/articles/thinker-gregory-chaitin
- Relationships: /api/articles/thinker-gregory-chaitin/topology
- History: /api/articles/thinker-gregory-chaitin/revisions