User loginNavigation 
Extreme nonchoosinessAs a mathematician who's quite new to type theory, I have only vaguely internalised the fact that
I tried to recast this in language more familiar to me, and wound up with the statement that the product of all sets is empty. Now, I know that type theories tend (understandably) to be biased more towards constructivist than traditional ZFCbased axiomatisations; but it seems to me that, beyond just saying that we don't assume the Axiom of Choice, this statement is saying that we take that axiom as the definition of ‘false’! Is the rejection of choosiness really so definitive, or am I just skipping over some point (like, say, that some sets are empty, so that including them in the product will naturally make it, too, empty)? By L Spice at 20100203 06:55  LtU Forum  previous forum topic  next forum topic  other blogs  3182 reads

Browse archivesActive forum topics 
Recent comments
4 hours 4 min ago
5 hours 3 min ago
6 hours 30 min ago
6 hours 42 min ago
7 hours 35 min ago
9 hours 9 min ago
10 hours 45 min ago
11 hours 1 min ago
17 hours 22 min ago
19 hours 19 min ago