Skip to main content
6 events
when toggle format what by license comment
Apr 15, 2010 at 17:16 comment added some guy on the street Another thing is --- for stylistic reasons --- I like to get all the choices out of the way at the beginning. It makes the induction closer to the style of oracular programming, even if the program takes a very long time to run!
Apr 15, 2010 at 17:13 comment added some guy on the street oh, nice! and reciprocally, I'm sure. The trick, of course, is the cardinal ordering --- which is why we can be sure that $l$ still has lots of points to choose from.
Apr 15, 2010 at 17:10 vote accept Tony Huynh
Apr 15, 2010 at 17:10 comment added Tony Huynh Thanks some guy on the street! This is essentially isomorphic (although cleaner) to what I thrashed out, so I'm pleased that I can still do some basic set theory. Thanks also to Jason and t3suji for the links in the comments.
Apr 15, 2010 at 17:02 history edited some guy on the street CC BY-SA 2.5
clarified induction hypothesis
Apr 15, 2010 at 16:56 history answered some guy on the street CC BY-SA 2.5