News for hackers. Stuff that matters.

A comment on Does Gödel Matter?. Parent comment

Re:Does Gödel Matter? by jerf on Monday December 22, 2008 @11:26AM (#406500)
Which rests on the grossly-unphysical "Axiom of Choice". That doesn't disprove cousin_it's point. Though it's still an interesting link, if that's why you're posting it.
[ Parent | on HN ]
Re:Does Gödel Matter? by d0mine on Monday December 22, 2008 @01:22PM (#406643)
Almost all people use mathematics where "Axiom of Choice" is set to be true. It is grossly-unusual to consider systems without that axiom.

If you are not a mathematician chances are you've never encountered a system based on axioms without "Axiom of Choice" (for systems where it is applicable at all).

[ Parent | on HN ]
Re:Does Gödel Matter? by pixcavator on Monday December 22, 2008 @01:26PM (#406647)
I agree it's "grossly-unphysical", but you can do hardly any math without it. Now try to do physics (or computer science) without math.
[ Parent | on HN ]