A world-famous mathematician responsible for solving one of the subject's most challenging problems has published his latest work as a University of Leicester research report.
This follows the visit that famed mathematician Yuri Matiyasevich made to the Department of Mathematics where he talked about his pioneering work. He visited UK by invitation of the Isaac Newton Institute for Mathematical Sciences.
In 1900, twenty-three unsolved mathematical problems, known as Hilbert's Problems, were compiled as a definitive list by mathematician David Hilbert.
A century later, the seven most important unsolved mathematical problems to date, known as the 'Millennium Problems', were listed by the Clay Mathematics Institute. Solving one of these Millennium Problems has a reward of US $1,000,000, and so far only one has been resolved, namely the famous Poincare Conjecture, which only recently was verified by G. Perelman.
Yuri Matiyasevich found a negative solution to one of Hilbert's problems. Now, he's working on the more challenging of maths problems - and the only one that appears on both lists - Riemann's zeta function hypothesis.
In his presentation at the University, Matiyasevich discussed Riemann's hypothesis, a conjecture so important and so difficult to prove that even Hilbert himself commented: "If I were to awaken after having slept for a thousand years, my first question would be: has the Riemann hypothesis been proven?"
Professor Alexander Gorban, from the University of Leicester, said: "His visit was a great event for our mathematics and computer science departments.
"Matiyasevich has now published a paper through the University that regards the zeros of Riemann Zeta Function (RZF). This is a mathematical function which has been studied for over a hundred years.
"The goal of this paper is to present numerical evidence for a new method for revealing all divisors of all natural numbers from the zeroes of the RZF. This approach required supercomputing power.
"There is previous evidence of famous pure mathematical problems using massive computations. Unfortunately, the Riemann hypothesis is not reduced to a finite problem and, therefore, the computations can disprove but cannot prove it. Computations here provide the tools for guessing and disproving the guesses only."
The paper on how supercomputers have helped the mathematicians to travel into the world of the Riemann hypothesis is now available online, together with the presentation of the Matiyasevich talk, at: http://www2.le.ac.uk/departments/mathematics/research/research-reports-2/research-reports-2012
Images of Yuri Matiyasevich available from firstname.lastname@example.org
Peter Thorley | Source: EurekAlert!
Further information: www.le.ac.uk
More articles from Information Technology:
Titan Completes Acceptance Testing
12.06.2013 | Oak Ridge National Laboratory
Smart homes technology tested in Örebro
10.06.2013 | Schwedischer Forschungsrat - The Swedish Research Council
... two engines aircraft project “Elektro E6”.
The countdown has been started for opening the gates again for the worldwide leading aviation and space event in Le Bourget, Paris from June 17th - 23rd, 2013.
EADCO & PC-Aero will present at the Paris Air Show in Hall H4 booth F-7 their new future aircraft and innovative project: ...
Siemens scientists have developed new kinds of ceramics in which they can embed transformers.
The new development allows power supply transformers to be reduced to one fifth of their current size so that the normally separate switched-mode power supply units of light-emitting diodes can be integrated into the module's heat sink.
The new technology was developed in cooperation with industrial and research partners who ...
Cheaper clean-energy technologies could be made possible thanks to a new discovery.
Led by Raymond Schaak, a professor of chemistry at Penn State University, research team members have found that an important chemical reaction that generates hydrogen from water is effectively triggered -- or catalyzed -- by a nanoparticle composed of nickel and phosphorus, two inexpensive elements that are abundant on Earth. ...
The Fraunhofer Institute for Laser Technology ILT generated a lot of interest at the LASER World of Photonics 2013 trade fair with its numerous industrial laser technology innovations.
Its highlights included beam sources and manufacturing processes for ultrashort laser pulses as well as ways to systematically optimize machining processes using computer simulations. There was even a specialist booth at the fair dedicated to the revolutionary technological potential of digital photonic production.
Now in its fortieth year, LASER World ...
It's not reruns of "The Jetsons", but researchers working at the National Institute of Standards and Technology (NIST) have developed a new microscopy technique that uses a process similar to how an old tube television produces a picture—cathodoluminescence—to image nanoscale features.
Combining the best features of optical and scanning electron microscopy, the fast, versatile, and high-resolution technique allows scientists to view surface and subsurface features potentially as small as 10 nanometers in size.
The new microscopy technique, described in the journal AIP Advances,* uses a beam of electrons to excite a specially ...
18.06.2013 | Materials Sciences
18.06.2013 | Health and Medicine
18.06.2013 | Life Sciences
14.06.2013 | Event News
13.06.2013 | Event News
10.06.2013 | Event News