---
title: 算法信息论 (Algorithmic Information Theory, AIT)
created: 2025-04-15
updated: 2026-05-01
type: concept
tags: []
sources: []
---

# 算法信息论 (Algorithmic Information Theory, AIT)

- **领域**: 信息论、可计算性理论
- **创始人**: Gregory Chaitin, 1970s
- **来源**: [[godel-incompleteness-tutorial|哥德尔不完备定理教程]]

## 概述

蔡廷将哥德尔不完备性思想与信息论结合，开创了算法信息论。核心概念包括[[kolmogorov-complexity|柯尔莫哥洛夫复杂度]] K(x)（输出 x 的最短程序长度）和[[chaitin-constant|蔡廷常数 Ω]]（停机概率，一个不可计算但包含最大信息量的实数）。

蔡廷不完备性定理表明：任何形式系统只能证明有限个「随机性」事实——超过某个复杂度阈值后，系统无法再判断字符串是否「足够随机」。

> 📌 *占位符页面 — 待补充完整内容。*

## 相关概念
[[chaitin-constant]] · [[kolmogorov-complexity]] · [[godel-incompleteness-theorems]]
