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
9 Citations
35 References
Similar Papers

References

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

How to solve it

  • G. Pólya
  • 1945
Highly Influential
11 Excerpts

Proofs and Refutations

  • I. Lakatos
  • 1976
Highly Influential
4 Excerpts

Observations: The 2011 IMO in the Netherlands

  • G. Smith
  • Technical report,
  • 2011

Reinventing Discovery: The New Era of Networked Science

  • M. Nielsen
  • 2011
1 Excerpt

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

  • T. Gowers
  • 2009
1 Excerpt

Similar Papers

Loading similar papers…