Seventy four minutes of mathematics : An analysis of the third Mini-Polymath project

@inproceedings{Pease2012SeventyFM,
  title={Seventy four minutes of mathematics : An analysis of the third Mini-Polymath project},
  author={Alison Pease and Ursula Martin},
  year={2012}
}
Alan Turing proposed to consider the question, “Can machines think?” in his famous article [40]. We consider the question, “Can machines do mathematics, and how?” Turing suggested that intelligence be tested by comparing computer behaviour to human behaviour in an online discussion. We hold that this approach could be useful for assessing computational logic systems which, despite having produced formal proofs of the Four Colour Theorem, the Robbins Conjecture and the Kepler Conjecture, have… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 35 references

Computing Machinery and Intelligence

View 7 Excerpts
Highly Influenced

How to solve it

G. Pólya
1945
View 11 Excerpts
Highly Influenced

Proofs and Refutations

I. Lakatos
1976
View 4 Excerpts
Highly Influenced

Observations: The 2011 IMO in the Netherlands

G. Smith
Technical report, • 2011

Reinventing Discovery: The New Era of Networked Science

M. Nielsen
2011
View 1 Excerpt

Conjecture Synthesis for Inductive Theories

Journal of Automated Reasoning • 2010
View 1 Excerpt

Is massively collaborative mathematics possible? http://gowers.wordpress.com/2009/01/27/ is-massively-collaborative-mathematics-possible

T. Gowers
2009
View 1 Excerpt

Similar Papers

Loading similar papers…