project . 2014 - 2018 . Closed

MathSoMac: the social machine of mathematics

UK Research and Innovation
  • Funder: UK Research and InnovationProject code: EP/K040251/2
  • Funded under: EPSRC Funder Contribution: 1,146,390 GBP
  • Status: Closed
  • Start Date
    01 Feb 2014
    End Date
    29 Jun 2018
Description
Mathematics is a profound intellectual achievement with impact on all aspects of business and society. For centuries, the highest level of mathematics has been seen as an isolated creative activity, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. "Crowdsourcing" pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations; and computers check proofs that are just too long and complicated for any human to comprehend, using programs designed to verify hardware. Yet the...
Description
Mathematics is a profound intellectual achievement with impact on all aspects of business and society. For centuries, the highest level of mathematics has been seen as an isolated creative activity, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. "Crowdsourcing" pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations; and computers check proofs that are just too long and complicated for any human to comprehend, using programs designed to verify hardware. Yet the...
Any information missing or wrong?Report an Issue