Explore >> Select a destination
|
You are here 
|
gowers.wordpress.com | ||
| | | | |
polymathprojects.org
|
|
| | | | | The previous research thread for the Polymath7 project"the Hot Spots Conjecture" is now quite full, so I am now rolling it over to a fresh thread both to summarise the progress thus far, and to make it a bit easier to catch up on the latest developments. The objective of this project is to prove... | |
| | | | |
terrytao.wordpress.com
|
|
| | | | | [This post is dedicated to Luca Trevisan, who recently passed away due to cancer. Though far from his most significant contribution to the field, I would like to mention that, as with most of my ot... | |
| | | | |
a3nm.net
|
|
| | | | | List of open questions | |
| | | | |
xorshammer.com
|
|
| | | Mathematical logic has a categorization of sentences in terms of increasing complexity called the Arithmetic Hierarchy. This hierarchy defines sets of sentences $latex \Pi_i$ and $latex \Sigma_i$ for all nonnegative integers $latex i$. The definition is as follows: $latex \Pi_0$ and $latex \Sigma_0$ are both equal to the set of sentences $latex P$ such that... | ||
