170- Quiz 1

August 29, 2010

Quiz 1 is here.

Solutions follow.

Read the rest of this entry »


August 27, 2010

As a mathematician, this was a relatively eventful Summer.

Read the rest of this entry »

“To infinity and beyond: The struggle to save arithmetic “

August 23, 2010

The British magazine New Scientist recently posted online an article about Harvey Friedman and his work on Boolean relation theory. Unfortunately, the author seems to think that somehow arithmetic is in danger and Friedman needs to save it. The article made some people curious, and I ended up writing a somewhat lengthy group of posts on examples of undecidable (i.e., unprovable) statements. I think it may be worth sharing them, so here they are, “essentially” unedited.

Read the rest of this entry »