Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: Should LOGIC PROGRAMMERS worry about SETS BIGGER THAN INFINITY?
Replies: 3   Last Post: Dec 30, 2012 2:19 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Graham Cooper

Posts: 4,344
Registered: 5/20/10
Should LOGIC PROGRAMMERS worry about SETS BIGGER THAN INFINITY?
Posted: Dec 29, 2012 5:25 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

ALL OF SCI.MATH A RESOUNDING - 'YES'

and 100 MEGABYTE of USELESS PROOFS TO GO WITH IT

and GET CALLED A KRANK IF YOU POST AN ALTERNATIVE!




L(x,y)
+---------------->
| 0. 2 3 4 5 6 7 ..
| 0. 9 8 7 6 5 5 ..
| 0. 1 2 3 1 2 3 ..
| 0. 9 8 9 8 9 8 ..
| 0. 6 5 6 5 6 5 ..
| 0. 5 6 5 6 5 6 ..
| ..
v

FLIP(d) = 6 IFF d<6
FLIP(d) = 5 OTHERWISE


Now apply your FLIP(d) function to the ENTIRE LIST

T(x,y)
+---------------->
| 0. 6 6 6 6 5 5 ..
| 0. 5 5 5 5 6 6 ..
| 0. 6 6 6 6 6 6 ..
| 0. 5 5 5 5 5 5 ..
| 0. 5 6 5 6 5 6 ..
| 0. 6 5 6 5 6 5 ..
| ..
v

T(x,y)
+---------------->
| 0. 6 X X X X X ..
| 0. X 5 X X X X ..
| 0. X X 6 X X X ..
| 0. X X X 5 X X ..
| 0. X X X X 5 X ..
| 0. X X X X X 5 ..
| ..
v


OK NOW YOU WANT TO ISOLATE
THAT PATH THROUGH T

AND ONLY THAT PATH THROUGH T!

***************************************

PERMUTING THE LIST
AND TAKING THE ANTI-DIAGONAL

IS *EQUIVALENT* TO

SELECTING A PATH THROUGH
THE TRANSPOSE LIST

***************************************

SAME THING!

YET THERE IS NO MISSING REAL
WHEN YOU DO IT MY WAY!

Herc



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.