I realize that 99% of mathematicians are in the “the new decade doesn’t begin until 2011″ camp, but I started wondering, how does mathematics look different now than it did in 2000? The big news of the decade was the solution of the Poincaré conjecture and more generally the geometrization conjecture. At the time, I remember hearing it widely predicted that this spelled doom for the topic of 3-manifolds. Is that what really happened?

Also, while progress in certain areas, such as algebraic geometry, algebraic topology, and number theory are high profile, what’s happened in the rest of mathematics? Graph theory saw the proof of the graph minor theorem (which I remember being earlier, but Wikipedia claims was only completed in 2004), but I don’t know what else happened in the area. Were there any major new breakthroughs, or changes in perspective in group theory? Logic? Universal algebra? Game theory?

In a related note, the proof of a conjecture known as the Fundamental Lemma made Time magazine’s list of the top scientific discoveries of 2009.

Dan Piponi of Neighborhood of Infinity has written a paper about how he has successfully used automatic differentiation in the movie industry. Unfortunately, in the course of the article he gives the best argument against the use of automatic differentiation I’ve heard:

In this paper we will present one approach to automatic
differentiation and describe one application that was used with considerable success during the post-production of Matrix Reloaded and Revolutions.

I rest my case.

Two series of monographs on logic are now available (for free) on Project Euclid:

• Perspectives on Logic.
• Lecture Notes on Logic.

I think several of the monographs are well-known in their areas, such as Model Theory of Fields.

CMU students conduct a mock protest at the G20. Slogans include “Safer Data Mining” and “MapReduce, MapReuse, MapRecycle: Green Data Processing”.

The Bohr-Einstein debates, now in convenient puppet form.

For those nattering nabobs of negativity among you who insist that correlation does not equal causation, I give the ultimate counterexample: clear and incontrovertible proof that the decline in US oil production has led to a decline in the quality of the US’s rock music: The Hubbert Peak Theory of Rock.

If you’re interested in learning about recursion theory and the Godel incompleteness theorem, these lecture notes by Jeremy Avigad are terrific. In this approach, incompleteness follows from properties of algorithms, which I think is the clearest approach.

It turns out that the standard picture of Adrien-Marie Legendre was actually a picture of his contemporary, the revolutionary Louis Legendre. (See the Notices article for the story. Gérard P. Michon has a photograph of the only known portrait of Adrien-Marie Legendre (a caricature).

Next up: mathematicians discover that the inventor of algebraic topology was not, after all, the President of France during World War I.

Oswaldo Zapata Marín is writing a series of essays about the history of superstring theory at Spinning the Superweb. His first essay, On Facts in Superstring Theory, describes something that is very mysterious to me as a math person: the process by which conjectures in string theory achieve a status akin to fact.

Via Not Even Wrong.

If you’re interested in large cardinals, Akihiro Kanamori has made available a (typed rather than typeset) version of his and Magidor’s survey paper, The Evolution of Large Cardinal Axioms in Set Theory.

If you’re interested in more advanced set theory links, this page provides links to individual author’s pages where you can find drafts of chapters for the upcoming three-volume Handbook of Set Theory.