[Home]Axiom of choice/Talk

HomePage | Axiom of choice | Recent Changes | Preferences

Difference (from prior major revision) (no other diffs)

Changed: 12c12

:Yes, we should. If you're feeling in the mood, this article really needs an overhaul. I moved some paragraphs here from the set theory article months ago, but no-one has yet attempted to merge it all into a coherent whole. --Zundark, 2001 Dec 16

Do Wikipedia articles assume the axiom of choice unless otherwise mentioned? Or should results which rely on choice be marked as such? --Matthew Woodcraft

They should be marked as such. If they're not, fix them. --Taw

Pretty much anything I write assumes AC. --Zundark, 2001 Dec 16

I think it is polite, when writing about a central theorem like existence of prime ideals or Hahn-Banach, to mention that it depends on AC, but it is really too much to ask to do the detailed bookkeeping and mention AC for every result which depends on one of those theorems. AC is an accepted axiom in mathematics. --AxelBoldt

This last position seems to be modern practice, at least in the areas of mathematics I'm familiar with. Should we have a note to this effect on the main AC page? --Matthew Woodcraft

Yes, we should. If you're feeling in the mood, this article really needs an overhaul. I moved some paragraphs here from the set theory article months ago, but no-one has yet attempted to merge it all into a coherent whole. --Zundark, 2001 Dec 16

HomePage | Axiom of choice | Recent Changes | Preferences
This page is read-only | View other revisions
Last edited December 17, 2001 4:18 am by Zundark (diff)
Search: