Re: Contradicrtion-free mathemattics (The new nonstandard analysis

E. E. Escultura wrote: 

I think you have been out of the mainstream and frontier of mathematics for some time. We do not use the truth table when we solve mathematical problems or theorem. We use known theorems or axioms for this purpose. The proofs of those theorems rest on the axioms entirely. May be you have been doing logic all along.

BTW, I'm waiting for the contradiction you claim to have found in my work. If you can't show it there ain't any.

Have your written down your axioms carefully? Have you specified your inference rules clearly. If not, I will not bother with nonsense.

And where have you shown you understand what a proof is? From what I read, it is clear you do not know what a proof is.

Bob Kolker
.

Relevant Pages
Loading