Talk:Computer-assisted proof

From Wikipedia, the free encyclopedia

Mathematics Portal This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating:	Start Class	Mid Priority	Field: General
Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments. Please add to or update the comments to suggest improvements to the article. Please add useful comments here--Cronholm144 09:06, 23 May 2007 (UTC)

Contents 1 theoretical physics statement 2 merge? 3 improve please 4 Regarding Seventeen or Bust

[edit] theoretical physics statement

I find this statement interesting: "Interestingly, this controversy within mathematics is occurring at the same time as questions are being asked in the physics community about whether twenty-first century theoretical physics is becoming too mathematical, and leaving behind its experimental roots." but there is no reference for it. I'm not sure that it NEEDS a reference, but I'm just curious for further reading if anyone has any information on this "controversy". Jackkoho (talk) 21:51, 27 May 2008 (UTC)

[edit] merge?

Should this article be merged with Automated theorem proving? S Sepp 14:34, 21 January 2006 (UTC)

I don't think so, but we can probably merge with Interactive theorem proving Outs 10:03, 12 September 2007 (UTC)

[edit] improve please

OK, that's expanded this to a reasonably-sized stub. Can someone with more knowledge in this area improve and polish this article, please? -- Anon.

[edit] Regarding Seventeen or Bust

I have removed Seventeen or Bust from this page because it's not a computer-assisted proof, per se, in the sense that once the necessary prime numbers have been found the proof is easy to state and verify succinctly without the aid of a computer; it's merely being used to accelerate the search phase. Dcoetzee 23:26, 4 April 2008 (UTC)