User blog comment:Ikosarakt1/Uncountable function cannot exists/@comment-1605058-20130707061148/@comment-1605058-20130707171448

No offence, but I'm constantly trying to find a mistake in your proof. I noticed there is unboundedly many numbers with complexity 2 (for most functions), so there is no largest one. I believe same goes for other numbers. The thing which comes here is bounding number - cardinality of smallest set, such that there is no function outgrowing them. If it's larger than w_1 there must be function above FGH (which has size w_1). "Bounding number is w_1" isn't theorem of ZFC.