Kurt Godel studied statements which refer to themselves, and his results shook the foundations of mathematics
"All Cretans are liars", said Epimenides, a Cretan. But this means that his statement must be a lie too. But then it is false that Cretans are liars and the statement must be true. So what now?
Four-color theorem linked to crystal's magnetic properties
Elucidating biological cells' transport mechanisms
A new study focuses on the motion of motor proteins in living cells, applying a physicist's tool called non-equilibrium statistical mechanics
Maxwell's demon can use quantum information to generate work
Unruly plasmas: Researchers challenge Bohr-van Leeuwen theorem
Scientists of the universities in Düsseldorf and Kiel have obtained a surprising result that appears to be in conflict with standard text book knowledge. According to the fundamental Bohr-van Leeuwen theorem, ...
Biochemists uphold law of physics (w/ Video)
Experiments by biochemists at the University of California, Davis show for the first time that a law of physics, the ergodic theorem, can be demonstrated by a collection of individual protein molecules—specifically, a protein ...
Bayesian statistics theorem holds its own - but use with caution
Researcher finds solution to problem in 19th-century theory of meromorphic functions
General theory of meromorphic functions in the complex plane began in the nineteenth century, when E. Picard proved his famous 'Picard's little theorem'. Then, in the 1920s, R. Nevanlinna created the modern ...
Kenneth Appel dies, used computer on map question
Kenneth Appel, a mathematician who was the first to use a computer to prove a century-old major mathematical theorem, has died at age 80 in Dover, N.H.
Fermat's Last Theorem, more can be proved more simply: Professor steers field toward a numbers-only proof
Fermat's Last Theorem—the idea that a certain simple equation had no solutions— went unsolved for nearly 350 years until Oxford mathematician Andrew Wiles created a proof in 1995. Now, Case Western Reserve University's ...
Study supports move toward common math standards
A new study analyzing the previous math standards of each state provides strong support for adoption of common standards, which U.S. students desperately need to keep pace with their counterparts around the globe, a Michigan ...
Six-year journey leads to proof of Feit-Thompson Theorem
At 5:46 p.m. on Sept. 20, Georges Gonthier, principal researcher at Microsoft Research Cambridge, sent a brief email to his colleagues at the Microsoft Research-Inria Joint Centre in Paris. It read, in full: ...
New theoretical technique applied to properties of ultrathin solar cells
Equations take a bit of working out
The myth that mathematical theorems suddenly come together in the most elegant and smooth proofs will be busted at an upcoming lecture.