On Saturday 25 October 2008 17:38:42 Jon Wilson wrote:
I really hate to burst your bubble
You are right. My ol' brain can't do the math anymore.
I apologize for burning everyone's time.
-KenD
___
r6rs-discuss mailing list
On Mon, Oct 20, 2008 at 06:14:47PM -0400, John Cowan wrote:
ObDigression: This is only true on the assumption of unrestricted
quantification, which translates All witches are green as (Ax)(Wx-Gx).
We call this kind of quantification unrestricted because it quantifies
over all objects
Among the many topics brought up in the thread on comparison
procedures were relations, statements being vacuously true, ordered
fields, etc. All these topics are either taught explicitly in an
early course for undergraduate math majors or it is assumed assumed
that somehow the students