High Level Problem Solving Techniques... (1 Viewer)

[Templar]

Thanks buchanan, but I've already got those two papers.

 

[Slidey]

One of them has been solved.

Perelman proved the Poincaré conjecture as a corollary of Thurston's geometrization conjecture proved in three papers:

http://www.arxiv.org/PS_cache/math/pdf/0211/0211159.pdf

http://www.arxiv.org/PS_cache/math/pdf/0303/0303109.pdf

http://www.arxiv.org/PS_cache/math/pdf/0307/0307245.pdf

Really? Wow, thanks. When was it proven? I would have thought I'd have heard of it, if only because it was worth $1 million!

 

[Slidey]

I'm curious. Can you point to the exact part?

Not really. I am just pretty certain that computers played a role in the proof. I'll dig around to either prove or disprove my thoughts, because I am interested in where I got that idea from.

So far I've found the following: "Not only when a proof is based on hundreds of computer hours, but also when the proof is produced by using the classical tools of pencil and paper - who can check a proof hundreds of pages long?" ( http://fermat.workjoke.com/flt10.htm )

But I know there is a more detailed explanation of the role of computers in Wile's proof out there.

EDIT: Found this: http://www.cs.nyu.edu/pipermail/fom/1998-December/002531.html

It suggests computers played a part in the proof.

 

[Templar]

Have you got my 1-page summary:

http://www4.tpgi.com.au/nanahcub/summary.pdf

?

No I haven't. Thank you.

 

[Templar]

Is it nice? Or is it not nice?

Very nice for a one page summary of a proof that goes on for over 100 pages.

 

[~ ReNcH ~]

Is my website <a href="http://www4.tpgi.com.au/nanahcub/me2.html">fourunitmaths.cjb.net</a> nice or not nice?

Definitely nice content - very good resource for 4U :uhhuh:
On the other hand, I often forget what I've downloaded and what I haven't - so a list of updates or maybe dates next to new pages would be helpful