Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
ALL(F):N>R is 2OL! NOT 1OL!!!!!!
Replies:
6
Last Post:
Nov 15, 2012 2:39 AM




Re: ALL(F):N>R is 2OL! NOT 1OL!!!!!!
Posted:
Nov 15, 2012 2:39 AM


> <= is definable using Peano Arithmetic > > A(n) 0 <= n > A(m) A(n) s(m)<=s(n) > m<=n
Other way around... m<=n > s(m)<=s(n)
I was thinking of PROLOG s(m)<=s(n) : m<n
FORWARD CHAINING
0 <= s(0) FROM AXIOM 1 0<=s(0) > s(0)<=s(s(0)) FROM AXIOM 2
L & L>R > R MODUS PONENS L = 0<=s(0) R = s(0)<=s(s(0)) ============== s(0)<=s(s(0))
Herc



