Drawing Blanks

Premature Optimization is a Prerequisite for Success

Hilbert’s 3rd problem and the Axiom of Choice

leave a comment »

I’ve just learned something exciting: contrary to what I thought, the solution of Hilbert’s 3rd Problem ( http://en.wikipedia.org/wiki/Hilbert’s_third_problem ) does not in fact depend on the Axiom of Choice.

I was under the wrong impression that Dehn’s counterexample was something weird and non-constructive, similar to the Banach-Tarski paradox, because it required the AC. Wikipedia too, only mentions Dehn’s proof that relies on the existence of Hamel’s basis in R over Q.

Well, Dehn’s proof is really cool, and I love Hamel’s basis (I wrote about it here https://bbzippo.wordpress.com/2009/11/05/i-think-therefore-vector-basis-exists/ ), but I was always kind of sad when I was thinking that this problem that is so “finitistic” and “linear” could not be solved without the AC.

Apparently, it could 🙂

The other day I got bored and googled “Hilbert’s Third Problem Axiom of Choice” and found this

http://www.computing-wisdom.com/mathreadings/hilbert3-long.pdf

Now I’m happy, except I don’t like the terms “scissors-congruent” and “equidecomposable”. What’s wrong with “equicomposable”? 🙂

Advertisements

Written by bbzippo

10/15/2010 at 5:01 am

Posted in math

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: