On Mar 3, 3:25 am, Graham Cooper <grahamcoop...@gmail.com> wrote: > Really! IT's ANYTHING YOU CAN INVENT about FORMAL SYSTEMS Fallibility > and EVERYTHING You Can GET AWAY WITH due to the Fact NOBODY HAS A > WORKING FORMAL SYSTEM to say otherwise! > > It's starts with: > > LOGICIAN 1: "No digit is equal to itself negated"
Nobody has ever said that. Obviously 0 = - 0. You need a DIFFERENT SENSE of "negated" from the usual one to make THAT work.
> LOGICIAN 2: "No Row Equals The Diagonal Sequence Negated"
That's A FACT. It's not something "some logician" just pulled out of his ass and excreted in public (a process with which you are no doubt intimately familiar).