> All finite digit sequences can be constructed. You can construct the particular natural number that it is, obviously. Constructing BB(745) means providing th

> All finite digit sequences can be constructed. You can construct the particular natural number that it is, obviously. Constructing BB(745) means providing that number and a proof that it's the right one.