On 15 Jun., 16:23, Aatu Koskensilta <aatu.koskensi...@uta.fi> wrote: > "Peter Webb" <webbfam...@DIESPAMDIEoptusnet.com.au> writes: > > So (B) is equivalent to the statement "there exists an uncomputable > > number". > > Right. But why then did you say the number was computable?