Category Archives: links

Link: Chat Noir

Just a link for you today: Chat Noir is a fun game where you try to trap a cat before it escapes. It’s quite mathematical, too. Can you figure out strategies for trapping the cat? Can you always win, or … Continue reading

Posted in games, geometry, links | Tagged , , , , , , , , | 1 Comment

Cosmic Call at The Universe of Discourse

I’ve really been enjoying a series of posts by Mark Dominus on his blog, The Universe of Discourse. The Cosmic Call was a series of radio messages sent in 1999 and 2003 aimed at various nearby stars (in case there … Continue reading

Posted in links | Tagged , , , | 1 Comment

Straightedge and compass construction challenges

I haven’t written here in quite a while—I’ve switched into “work on research for my dissertation really hard so that I can actually graduate” mode, and with a 21-month old in the mix that leaves very little time for blogging. … Continue reading

Posted in challenges, games, geometry, links, meta | Tagged , , , , , , | 5 Comments

Diagrams!

Over the past few years I’ve written quite a few posts with images generated by a library I (now along with many others) wrote. Most famously, this is how I created those factorization diagrams. But I’ve used it in many … Continue reading

Posted in links, pictures, programming | Tagged , | 1 Comment

New “Chaos” videos from the makers of “Dimensions”

I just got an email from Jos Leys, one of the creators of the Dimensions video series (which I wrote about previously), announcing that they have released another video series, this time about Chaos, at http://www.chaos-math.org/en. I haven’t had a … Continue reading

Posted in links, video | Tagged , | 6 Comments

Introduction to Mathematical Thinking

Keith Devlin is going to be offering another instance of his online course, Introduction to Mathematical Thinking, starting on March 4. The idea is to serve as a bridge between high school mathematics— which focuses on solving specific types of … Continue reading

Posted in links, teaching | Tagged , , , | 2 Comments

A computer-checked proof of the odd order theorem

Big news: a proof of the Feit-Thompson Theorem (also known as the “odd order theorem”) has been completely formalized and verified by a computer, using the Coq proof assistant! Wait, what? Huh? you’re probably thinking. Well, let me unpack that … Continue reading

Posted in algebra, links, programming, proof | Tagged , , , , , , | 10 Comments