4 ms·
As a guy pursuing a CS degree, I'm compelled to be a constructivist (what use is a proof if you can't get an algorithm out of it?) and reject both AC and the we
by sid0 16y ago
As a guy pursuing a CS degree, I'm compelled to be a constructivist (what use is a proof if you can't get an algorithm out of it?) and reject both AC and the well-ordering theorem. Find me a well-ordering of the reals and then we'll talk. :)
edit: speaking of proofs and algorithms, how could I forget the Curry-Howard correspondence. It just makes so much sense.
- maayank 16y agoeh 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.