"Virgil" <Virgil@home.esc> wrote ... > In article > <4b892c9b-5125-46b6-8136-4178f0acac65@b35g2000yqi.googlegroups.com>, > WM <mueckenh@rz.fh-augsburg.de> wrote: > >> On 15 Jun., 16:17, stevendaryl3...@yahoo.com (Daryl McCullough) wrote: >> >> > In this sense, the antidiagonal of the list of all computable reals >> > is definable (but not computable). >> >> That is nonsense. To define means to let someone know the defined. If >> he knows it, then he can compute it. > > There are undecidable propositions in mathematics, so if P is one of > them then "x = 1 if P is true otherwise x = 0" defines an uncomputable > number.
HAHAHA typical mathematicians' drivel about uncomputablity.
