Re: Request for Review of ZF Inconsistency Proof



On 2007-06-05, in sci.logic, MoeBlee wrote:
I would have thought that he would have taken that in the reasonable
sense of learning how to perform proofs in a formal theory as that
would contribute to an appreciation of the difference between a bunch
of undefined mathematical sounding prose and an argument informally
given but in principle formalizable (especially since his agenda is to
show a contradiction in ZFC). But he took what I said as material for
a strawman as if I could avoid hypocrisy only by myself giving
arguments strictly in a formal language. Such responses as that are
indicative of someone who does not wish to actually understand the
subject at hand (even if with the ultimate goal of making an attempt
to prove inconsistency).

Yes, quite evil of him. Perhaps -- not that it is any business of mine --
that might suggest it's entirely pointless to explain, explicate, show
stuff to the idiotic individuals?

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.