>>102
ゲーデルの不完全性定理　１９３０年クルト・ゲーデルが証明
ω無矛盾という条件がつく

チャイティンの不完全性定理
情報理論の分野で不完全性定理を得た

ゲーテルの場合は、数学の極めて限定した条件（ω無矛盾）で不完全性定理を証明したが、
チャイティンの場合は、情報理論という物理現象において（限定的であるが）不完全性定理を証明した

つまり、数学の限定された理論のみで不完全性定理が有効なのではなく、物理現象においても不完全性定理が有効なことを証明した。