eh eh :) About an hour after taking a set theory exam it dawned on me that a proof I gave is correct iff the continuum hypothesis is true. The distance between

eh eh :) About an hour after taking a set theory exam it dawned on me that a proof I gave is correct iff the continuum hypothesis is true. The distance between a Fields medal and a F was never so small :) edit: you made me wiki it. Funny, I don't seem to know/remember it. Thanks, seems interesting :) Regarding theoretical proofs... What's the point of an algorithm if you don't propel its use through a viable product? I'm currently (concurrently with the studies) in a CS research position and it is a difficulty for me... Don't get me wrong, I love my job, but for me if there is any downside then this is it.