Tag Archives: modern computer

How Computers Push on the Molecules They Simulate

Berkeley Lab bioscientists and their colleagues decipher a far-reaching problem in computer simulations

Because modern computers have to depict the real world with digital representations of numbers instead of physical analogues, to simulate the continuous passage of time they have to digitize time into small slices. This kind of simulation is essential in disciplines from medical and biological research, to new materials, to fundamental considerations of quantum mechanics, and the fact that it inevitably introduces errors is an ongoing problem for scientists.

Scientists at the U.S. Department of Energy’s Lawrence Berkeley National Laboratory (Berkeley Lab) have now identified and characterized the source of tenacious errors and come up with a way to separate the realistic aspects of a simulation from the artifacts of the computer method. The research was done by David Sivak and his advisor Gavin Crooks in Berkeley Lab’s Physical Biosciences Division and John Chodera, a colleague at the California Institute of Quantitative Biosciences (QB3) at the University of California at Berkeley. The three report their results in Physical Review X. (more…)

Read More

Mathematician Sees Artistic Side To Father of Computer

This year a series of events around the world will celebrate the work of Alan Turing, the father of the modern computer, as the 100th anniversary of his birthday approaches on June 23. In a book chapter that will be published later this year, mathematician Robert Soare, the founding chairman of the University of Chicago’s computer science department, will propose that Turing’s achievement was artistic as well as scientific.

Soare, the Paul Snowden Russell Distinguished Service Professor in Mathematics and Computer Sciences, has played a leading role in computability theory — the field that Turing founded and which is devoted to determining how effectively complex mathematical problems can be solved. In Mathematical Logic in the 20th Century, Gerald Sacks ranked a paper Soare published in the Annals of Mathematics as one of the century’s 31 most important papers in mathematical logic, including computability theory. (more…)

Read More