Gregory Chaitin, Kurt Gödel, Paradox, Algorithmic Information, Conservation Laws.
metamathematics, which studies the power and the limitations of formal axiomatic theories from above, from the outside, as it were. GL: Mathematical physicist Eugene Wigner wrote: “The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a