Constante de Chaitin

Carta Común · N.º 390458

La constante de Chaitin (o número omega de Chaitin o probabilidad de parada) es la probabilidad de que un programa elegido al azar detenga correctamente una máquina de Turing determinada. Al ser una probabilidad ha de ser un número entre 0 y 1. Sea P el conjunto de todos los programas que se detienen, y |p| el tamaño en bits de un programa p, Ω está definida de la siguiente manera: Ω = ∑ p ∈ P 2 − | p | {\displaystyle \Omega =\sum _{p\in P}2^{-|p|}}

Leer en Wikipedia