Quiz 1 is here.
Solutions follow.
As a mathematician, this was a relatively eventful Summer.
2 Comments | Uncategorized | Permalink
Posted by andrescaicedo
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.
7 Comments | Uncategorized | Permalink
Posted by andrescaicedo
You are currently browsing the A kind of library blog archives for August, 2010.