Elithrion comments on Drowning In An Information Ocean - All

25 Post author: diegocaleiro 30 March 2013 04:32AM

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

Comments (21)

You are viewing a single comment's thread.

Comment author: Elithrion 31 March 2013 03:54:54AM *  0 points [-]

don't get fixed in proving the constructibility of enormously large polygons

Is this common? 'Cause um, at one point I did try to prove (or disprove) the constructibility of a hendecagon (11 sides) with neusis, but I didn't realise this was a popular pursuit. This isn't really related to the post, but I was very surprised constructibility got a mention.

(I ran into equations lacking an easy solution - they were sufficiently long/hard that Maple refused to chug through them - and decided it wasn't worth the effort to keep trying.)

Comment author: mare-of-night 07 April 2013 12:46:26AM 1 point [-]

I forget what it was called, but I remember a past post about trying to disprove very, very settled rules of math or science. A lot of the people who commented on it said that they had tried to do this as teenagers. (I never tried to construct unconstructable shapes, but I tried for a couple weeks to design a perpetual motion machine, once. I stopped after my middle school science teacher explained why a certain design wouldn't work - the explanation was what I needed to finally grok the laws of thermodynamics.)

Comment author: gwern 07 April 2013 08:00:16PM 1 point [-]

When I was very young—I think thirteen or maybe fourteen—I thought I had found a disproof of Cantor's Diagonal Argument, a famous theorem which demonstrates that the real numbers outnumber the rational numbers. Ah, the dreams of fame and glory that danced in my head!

http://lesswrong.com/lw/j8/the_crackpot_offer/

Comment author: Elithrion 07 April 2013 05:54:54PM 0 points [-]

Hm, that's true, I have heard that. Although in that particular case, it's actually unknown whether the shape is constructible or not, and I was trying to prove (in)constructibility rather than construct.