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

Citations

Publications citing this paper.
SHOWING 1-10 OF 17 CITATIONS

Explanation in mathematical conversations: an empirical investigation.

  • Philosophical transactions. Series A, Mathematical, physical, and engineering sciences
  • 2019
VIEW 7 EXCERPTS
HIGHLY INFLUENCED

University of Dundee Argumentation Theory for Mathematical

Corneli, Murray-Rust, Rino Nesin
  • 2019
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Automating "Human-Like" Example-Use in Mathematics

  • Bridging@IJCAI/ECAI
  • 2018
VIEW 1 EXCERPT
CITES METHODS

Intelligent Computer Mathematics

  • Lecture Notes in Computer Science
  • 2017
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 35 REFERENCES

COMPUTING MACHINERY AND INTELLIGENCE

VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

How to Solve It

VIEW 12 EXCERPTS
HIGHLY INFLUENTIAL

Proofs and Refutations

VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Observations: The 2011 IMO in the Netherlands

G. Smith
  • Technical report,
  • 2011

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…