Fix some arbitrary human person; call him `Bob.' And suppose that Bob is
conscious from 
to 
. From Proposition 1' it follows directly
(by elementary first-order logic) that
there is a TM 
, identical to Bob, such that
, where
this computation is
identical to Bob's consciousness from to . But
Theorem 1 implies that some algorithm 
reverses the computation in
question. Hence, by Leibniz' Law, reverses Bob's consciousness
from to . But consciousness, whether Bob's or yours or mine,
can't be reversed. By indirect proof it follows that Proposition 1'
is false (since Theorem 1, the other possible culprit,
is just that: a theorem). And since this proposition
is ``Strong" AI (or Computationalism) incarnate, it follows that this view
is in turn false.