Liron comments on The Crackpot Offer - Less Wrong

42 Post author: Eliezer_Yudkowsky 08 September 2007 02:32PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (69)

Sort By: Old

You are viewing a single comment's thread. Show more comments above.

Comment author: [deleted] 24 August 2011 11:47:41AM *  17 points [-]

I know this is an old comment, but the answer is actually quite nice.

What the compass and straight-edge basically give you is the capacity for solving quadratic equations. There's a field of numbers between the rational and real numbers called the Constructible numbers that completely characterizes what can be done there.

Alternative techniques (e.g., folding) can allow one to solve cubic equations, and so the field of numbers that can be constructed in this way is an extension of the Constructible numbers.

So the full answer to "what you can get if you change the allowable operations" is that construction techniques correspond to field extensions of the rational numbers, and this characterizes their expressive power.

Comment author: Liron 18 September 2011 08:25:57PM 4 points [-]

You are more than a paper-machine, you are a paper-based math expert.