Since the advancement of the computer there has been an active discussion in the math community on the role of computer results in mathematical research. Personal view is that computers are a remarkable tool that can show patterns that would hardly be discovered otherwise.

Since the advancement of the computer there has been an active discussion in the math community on the role of computer results in mathematical research. Personal view is that computers are a remarkable tool that can show patterns that would hardly be discovered otherwise.

In the natural sciences (such as physics, chemistry, biology,...) the role of experimentation is unarguable and established and theory usually follows alongside experiment. While in math, experimentation became substantially relevant only recently - the computer serving as a "laboratory". In this page are included a collection of a few links & resources in favor of the benfits of computer use in mathematical research (if you have any suggestions\additions - send to:

Some talks & videos by Stephan Wolfram:

Some talks by Jonathan Browein:

Some talks by Doron Zeilberger:

A talk by John Cremona - on the history of number theory software:

An insperational interview with Ken Ribet:

One of the offical goals of the LMFDB website is to shed new light on the magnum Langlands program. You can see an overview in the following lectures by Edward Frenkel:

You can see the way the pioneering computational results of the LMFDB website fit in the framework of the Langlands program:
__http://www.lmfdb.org/universe__

"The object of mathematical rigor is to sanction and legitimize the conquests of intuition, and there was never any other object for it"

(J. Hadamard)

(J. Hadamard)

"If I can give an abstract proof of something, I’m reasonably happy. But if I can get a concrete, computational proof and actually produce numbers I’m much happier ... I’m rather an addict of doing things on the computer, because that gives you an explicit criterion of what’s going on. I have a visual way of thinking, and I’m happy if I can see a picture of what I’m working with" (John Milnor)

"If mathematics describes an objective world just like physics, there is no reason why inductive methods should not be applied in mathematics just the same as in physics" (Kurt Godel, Some Basic Theorems on the Foundations, 1951)

"This new approach to mathematics—the utilization of advanced computing technology in mathematical research—is often called experimental mathematics. The computer provides the mathematician with a “laboratory” in which he or she can perform experiments: analyzing examples, testing out new ideas, or searching for patterns" (Borwein and Bailey - Mathematics by experiment 2004)

"The computer has in turn changed the very nature of mathematical experience, suggesting for the first time that mathematics, like physics, may yet become an empirical discipline, a place where things are discovered because they are seen" (David Berlinski, “Ground Zero: A Review of The Pleasures of Counting, by T. W. Koerner,” 1997)