Ratio of decidable problems

Question

Consider decision problems stated in some “reasonable” formal language. Let's say formulae in higher-order Peano arithmetic with one free variable as a frame of reference, but I'm equally interested in other models of computation: Diophantine equations, word problems from rewriting rules using Turing machines, etc. An answer expressed in any classical formalization would be fine, though if you know how much the choice of formalization influences the answer, that would also be interesting.

Given the length $N$ of the statement of a decision problem, we can define the number $D(N)$ of decidable statements of length $N$ and the number $U(N)$ of undecidable statements of length $N$.

What is known about the relative growth of $U(N)$ and $D(N)$? In other words, if I take a well-formed decision problem at random, what is the probability of its being decidable for a given statement length?

_{Inspired by this question which asks whether “most problems and algorithms [are] decidable”. Well, if you don't filter by interest, are they?}

Answer 1

See Chaitin's research into Omega that shows, as I understand it, that undecidable problems are [paraphrasing] quite numerous, rampant or dense among statements chosen at random. However you have to be careful how you define $U(N)$ and $D(N)$ because they may be actually uncomputable functions. There is also some connections to busy beaver research. Identifying decidable and undecidable statements seems quite analogous to proving that busy beavers halt or do not halt. (e.g. some of all statements are in the form, “busy beaver [x] halts”).