> > But this is just the first level of current Mückenheim crap. This strawman > about differentiating linear functions was brought in to start a new round > of Mückenheim's idiotic digit shuffling procedure allegedly proving that in > what Mückenheim believes to be set theory, "For all n: f(n) = 1 , > lim_n-->oo f(n) = 0". >
And, both William Hughes and I formulated his statements into a predicate and demonstrated that the predicate remains true in the limit when the domain transforms from non-empty into empty.
The domain changes, but there is no contradiction generated.
So, now the shell game has a new form (actually, it has gone through one or two variations since, to let Zeit Geist catch up).