ParentFull threadStraw·sqrt(2), and pretty much everything else you can think if, is computable- there's a program that can output rational numbers arbitrarily close.BB(n) is not.View on HN