/explore
|
You are here 
|
polymathprojects.org | ||
| | | | |
quomodocumque.wordpress.com
|
|
| | | | | As the old joke goes, "Who's that guy next to Mazur?" Barry Mazur, my Ph.D. advisor, was awarded the National Medal of Science last week. It's hard to overstate the extent to which his work and his outlook have affected the direction of number theory. And of course my own way of doing math is... | |
| | | | |
gilkalai.wordpress.com
|
|
| | | | | A major progress on an old standing beautiful problem.Aubrey de Grey proved that the chromatic number of the plane is at least 5. (I first heard about it from Alon Amit.) TheHadwigerNelson problem asks for the minimum number of colors required to color theplanesuch that no twopointsat distance one from each other have the | |
| | | | |
terrytao.wordpress.com
|
|
| | | | | Let $latex {G = (G,+)}&fg=000000$ be a finite additive group. A tiling pair is a pair of non-empty subsets $latex {A, B}&fg=000000$ such that every element of $latex {G}&fg=000000$ can | |
| | | | |
jiggerwit.wordpress.com
|
|
| | | What follows are the opening paragraphs of a pdf document giving an argument for controlled natural languages in mathematics. At the recent Big Proof 2 conference in Edinburgh, I realized that a case must be made for developing a controlled natural language for mathematics. There is little consensus on this issue, and mathematicians and computer... | ||
