Mr Indeterminate said:
Then how you reason that x(x-1)=0 isn't proof of 1=0 while in #7 it is?
When one writes down a variable name in mathematics saying something like...
"Let x be a solution to the equation: x(x-1)=0"
... one is allowing the symbol "x" stand in for
one of the two solutions of that equation. It does not mean that x=0
and x=1. It means that x=0
or x=1. Which of the two solutions it is remains unspecified.
An assertion that x(x-1)=0 is not strong enough to demonstrate that x=1. It might instead be 0.
An assertion that x(x-1)=0 is not strong enough to demonstrate that x=0. It might instead be 1.
So there is no basis on which to invoke the transitive property of equality and proceed to a conclusion that 1=0.
Edit to add:
Now let us go back to #7 and see if this flaw applies to the argument there...
The first line begins with a phrasing: "If ##\infty## were a member of the field of real numbers...". The mathematical meaning of this is that we are using the symbol ##\infty## to denote an arbitrary real number. A
single number, albeit a number not yet fully specified.
That line proceeds with "if one agreed that ##\frac{1}{\infty} = 0##. This further restricts the set of real numbers that ##\infty## might denote. It still denotes a single real number, albeit one that still might not be completely specified.
In fact, it has been over-specified -- no such real number can exist. Which is demonstrated by the rest of the argument.
The next line argues that whatever ##\infty## is, the properties of arithmetic together with the premise that ##\frac{1}{\infty} = 0## means that ##0 \cdot \infty = 1##. Because ##\infty## denotes a single real number, ##0 \cdot \infty## evaluates to a single real number whose value must be 1. That is,
no matter what value ##\infty## denotes, the expression ##0 \cdot \infty## must evaluate to 1.
The next line proceeds to demonstrate with equal force that
no matter what value ##\infty## denotes, the expression ##0 \cdot \infty## must evaluate to 0.
Equality is transitive. Two things equal to the same thing are equal to each other. So one can conclude that 1=0.
Note well. We were able to demonstrate that ##0 \cdot \infty## = 0
and we were also able to demonstrate that ##0 \cdot \infty## = 1. That's
and, not
or.
This argument takes the form of a proof by contradiction. We have applied correct logic and concluded a falsehood. So at least one of the premises must be incorrect. The premises were:
"If ##\infty## were a member of the field of real numbers" and
"If one agreed that ##\frac{1}{\infty}= 0##"
At least one of those conditions must not hold.