### Will computers replace humans in mathematics?

Computers can be valuable tools for helping mathematicians solve problems but they can also play their own part in the discovery and proof of mathematical theorems.

Computers can be valuable tools for helping mathematicians solve problems but they can also play their own part in the discovery and proof of mathematical theorems.

Jun 02, 2016
in
Mathematics

228
0

If you ever read public health research, you've probably encountered the term "Student's t-test," or just "t-test." The experimenters will do this magical test, and suddenly conclude that everything is awesome. But even when ...

Jul 29, 2015
in
Mathematics

24
0

The idea of cloaking and rendering something invisible hit the small screen in 1966 when a Romulan Bird of Prey made an unseen, surprise attack on the Starship Enterprise on Star Trek. Not only did it make for a good storyline, ...

Jun 22, 2015
in
Mathematics

129
1

Theories used for the last four decades as a tool to guide the conservation of flora and fauna may have misinterpreted the biological reality, according to new research by mathematicians at the University of York.

May 28, 2015
in
Ecology

29
0

When ants go exploring in search of food they end up choosing collective routes that fit statistical distributions of probability. This has been demonstrated by a team of mathematicians after analysing the trails of a species ...

May 12, 2015
in
Mathematics

140
1

In 2012, six Italian seismologists were sent to prison because they failed to predict the 2009 L'Aquila 6.3 magnitude earthquake.

May 08, 2015
in
Earth Sciences

49
1

(Phys.org) —Mudslides. Landslides. Volcanic debris flows. Avalanches. Falling rocks. They can come along so suddenly that people, homes, roads and even towns are buried or destroyed without much warning. Recently, we've ...

Apr 30, 2014
in
Earth Sciences

0
0

(Phys.org) —A pair of mathematicians, Alexei Lisitsa and Boris Konev of the University of Liverpool, U.K., have come up with an interesting problem—if a computer produces a proof of a math problem that is too big to study, ...

(Phys.org) —A small team of mathematicians, led by Mikael Vejdemo-Johansson of the of the KTH Royal Institute of Technology in Stockholm, has uploaded a paper to the preprint server arXiv describing a mathematical process ...