
Introduction
On 10 August 2014, a team led by Thomas Hales of the University of Pittsburgh, USA, announced that their decadelong effort to construct a computerverified formal proof of the Kepler conjecture was now complete. The project was known as Flyspeck, a rough acronym for “Formal Proof of Kepler.”
The Kepler conjecture is the assertion
Continue reading Formal proof completed for Kepler’s conjecture on sphere packing
On 13 August 2014, at the quadrennial meeting of the International Congress of Mathematicians, this year held in Seoul, Korea, the four winners of the 2014 Fields Medals were announced by the International Mathematics Union, which administers the awards.
This year’s awardees are:
Artur Avila, a Brazilian mathematician (the first Brazilian mathematician to win the
Continue reading 2014 Fields Medals announced
On 7 July 2014, the New York Times ran a feature story on James H. Simons, the wellknown geometer, hedge fund founder, billionaire and philanthropist. Here are some of the fascinating facts uncovered in the Times story and elsewhere:
Simons was born in 1938 in Newton, Massachusetts, the son of a shoe factory owner. Simons
Continue reading New York Times features story on James Simons
June 23, 2014 was a nice day for mathematicians Simon Donaldson, Maxim Kontsevich, Jacob Lurie, Terence Tao and Richard Taylor. They were informed that they will be receiving the inaugural Breakthrough Prizes in Mathematics, each with a cash award of USD$3,000,000.
The Breakthrough Prizes in Mathematics complement the Breakthrough Prizes in Fundamental Physics, which were
Continue reading Inaugural Breakthrough Prizes in Mathematics announced
Background
Intellectual property law is complex and varies from jurisdiction to jurisdiction, but, roughly speaking, creative works can be copyrighted, while inventions and processes can be patented. In each case the intention is to protect the value of the owner’s work or possession.
For the most part mathematics is excluded by the Berne
Continue reading Can Pi be trademarked?
One of the present bloggers (Jonathan M. Borwein) has published an article in The Conversation on the proposed cuts to scientific research in the latest Australian federal budget. While some medical research has been spared, other sectors, notably basic science, are being cut severely.
The cuts include AUS$74 million cuts to the Australian Research Council
Continue reading Borwein on the Australian scientific research budget
Yakov Sinai, Professor of Mathematics at Princeton University since 1993, has been awarded the 2014 Abel Prize for his groundbreaking research in dynamical systems, ergodic theory and mathematical physics. A stipend of approximately USD $1,000,000 accompanies the prize, which is often referred to as the “Nobel Prize” of mathematics.
The Abel Prize is named after
Continue reading Sinai receives 2014 Abel Prize
In a dramatic announcement on March 16, 2014, a team of astronomers led by John Kovac of the HarvardSmithsonian Center for Astrophysics said that they have detected gravitational waves, confirming predictions made by mathematical physicists Alan Guth, Andrei Linde and others in the 1970s and 1980s.
Gravitational waves from inflation, with their distinctive twisting pattern,
Continue reading Gravitational waves confirm mathematical prediction of inflationary big bang
Introduction
In a 2004 review in Science of Searle’s Mind a Brief Introduction, neuroscientist Christof Koch wrote Whether we scientists are inspired, bored, or infuriated by philosophy, all our theorizing and experimentation depends on particular philosophical background assumptions. This hidden influence is an acute embarrassment to many researchers, and it is therefore not often acknowledged.
Continue reading Is philosophy needed in mathematics and science?
A special session “Software, Design and Practice in Random Walks” has been scheduled for the upcoming Fourth international Congress on Mathematical Software (ICMS2014), to be held in Seoul, August 59, 2014.
This session will examine interactions between software use/design and random walk research, in a broad sense. More details, including abstract submission guidelines, can be
Continue reading Upcoming ICMS special session on random walks

