22
edits
Changes
Jump to navigation
Jump to search
mLine 12:
Line 12: − The axiom of choice is not related to the [[liberal]] term pro-choice, which is the term used for themselves by proponents of [[abortion]].+
no edit summary
Despite its usefulness, many mathematicians reject the axiom of choice. This rejection is based on the belief that all [[mathematical proofs]] should be constructive. AC, by its very nature, is nonconstructive, since it merely asserts that a choice function exists, but does not give an explicit method for its construction. The formulation of constructive axiom of choice is one of three major problems which challenge 21st century logicians.
Despite its usefulness, many mathematicians reject the axiom of choice. This rejection is based on the belief that all [[mathematical proofs]] should be constructive. AC, by its very nature, is nonconstructive, since it merely asserts that a choice function exists, but does not give an explicit method for its construction. The formulation of constructive axiom of choice is one of three major problems which challenge 21st century logicians.
[[category:set theory]]
[[category:set theory]]