User blog comment:Nedherman1/About incomputables numbers/@comment-32697988-20180629004537/@comment-35470197-20180629104656

@Rpakr

> Normally when people say "uncomputable number" they usually mean "a number defined using uncomputable function(s)"

Are you sure? I think that an "uncomputable number" just means "a number which is not a computable number". Why do you restrict it to one using functions? You can define a number without using functions, e.g. with using formulae.

@Alemagno12

Remember that \(n \mapsto n + \sum_{i=0}^{n} Halt(i)\) is an uncomputable strictly increasing function but its growth is smaller than \(2n\)...