Replies

Being able to blast a shotload of mathematical terms and names does not mean you understand what you are talking about--and I doubt it fools even those who don't know what you think you are referring to. In fact it reeks of obfuscation.

It reeks of an accelerated math 10th grade text book.

I have been recounting nothing to anyone here that wasn't taught me as a freshman engineering student at UCBerkeley. I've written automated theorem provers, and I spend most of my working day telling circuit designers and programmers what the limits of formal verification are for their specific domains of discourse. If I am confused, than so are a large number of present day working mathematicians.