(urth) I, even I, would celebrate, in rhymes inept the great...

Jeffery Wilson clueland.com jwilson at clueland.com
Thu Oct 16 22:55:34 PDT 2014


On 10/16/2014 7:07 AM, Norwood, Frederick Hudson wrote:
> Jeffery Wilson:  I do say A is A.  That's called the reflexive property of equality.  And, yes, I've read the Lewis Carroll bit.  Even wrote a poem about it.

If you already know that the modus ponens is unprovable, and are 
familiar with reflexive equality which is axiomatic, why are you 
bothering to hold up modus ponens as an example of an absolute truth?

-- 
Jeff Wilson - < jwilson at clueland.com >
A&M Texarkana Computational Intelligence Lab
< http://www.tamut.edu/cil >



More information about the Urth mailing list