#
How do you tell the difference between a reductio and a surprising conclusion?

There's an interesting example from mathematics that might be relevant here. The Axiom of Choice (AC) is an axiom of mathematics that was quite controversial when Zermelo introduced it in 1904. It is less controversial today, perhaps because Godel showed in 1940 that if the other axioms of mathematics are consistent, then adding AC cannot introduce a contradiction into mathematics. But AC does lead to some very surprising conclusions. One of the most famous is the Banach-Tarski Theorem , sometimes also called the Banach-Tarski Paradox because it is so surprising. The Banach-Tarski Theorem says that it is possible to decompose a ball of radius 1 into a finite number of pieces and rearrange those pieces to make two balls of radius 1. (The "pieces" are actually more like clouds of scattered points that, together, fill up the entire ball.) Should the Banach-Tarski Theorem be considered a reductio ad absurdum proof that AC is false? It certainly doesn't count as a mathematical proof that AC is...

- Log in to post comments