
Re: my largest contribution to Logic getting rid of Reductio Ad Absurdum by showing what it truly is #1434 Correcting Math
Posted:
Jan 16, 2014 11:18 PM


there is an easy proof of the isomorphism of direct & inductuve proofs, including a conversion formula, in an old issue of *Mathematics Magazine, about two and a half pages long; if I could comprehend it, perhaps you could do so

