19 citations · 34 across the 5 of their papers we have counts for
1 paper · 1 filter
Cristian S. Calude, Helmut Juergensen
In this paper we prove Chaitin's ``heuristic principle'', {\it the theorems of a finitely-specified theory cannot be significantly more complex than the theory itself}, for an appr…