# 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} }

- Published 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.

VIEW 7 EXCERPTS

HIGHLY INFLUENCED

## University of Dundee Argumentation Theory for Mathematical

VIEW 4 EXCERPTS

CITES METHODS & BACKGROUND

HIGHLY INFLUENCED

## Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation

VIEW 8 EXCERPTS

CITES BACKGROUND

HIGHLY INFLUENCED

## Argumentation Theory for Mathematical Argument

VIEW 4 EXCERPTS

CITES METHODS & BACKGROUND

HIGHLY INFLUENCED

## Justification And Effectiveness : Critical Thinking And Strategic Maneuvering

VIEW 1 EXCERPT

CITES BACKGROUND

## Automating "Human-Like" Example-Use in Mathematics

VIEW 1 EXCERPT

CITES METHODS

## Intelligent Computer Mathematics

VIEW 1 EXCERPT

CITES BACKGROUND

## Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues

VIEW 1 EXCERPT

CITES BACKGROUND

## Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues

VIEW 1 EXCERPT

CITES BACKGROUND

## Behaviors, Interactions, And Communities In Networks

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

## Reinventing Discovery: The New Era of Networked Science

VIEW 1 EXCERPT

## Scheme-based Theorem Discovery and Concept Invention

VIEW 2 EXCERPTS

## Observations: The 2011 IMO in the Netherlands

## Conjecture Synthesis for Inductive Theories

VIEW 1 EXCERPT

## Rough Structure and Classification

VIEW 1 EXCERPT

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

VIEW 1 EXCERPT

#### Similar Papers

Loading similar papers…