> 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.
Not in classical mathematics.
-- Aatu Koskensilta (aatu.koskensilta@uta.fi)
"Wovon man nicht sprechan kann, darüber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus