Category Archives: links

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

More factorization diagrams

My post on factorization diagrams from a month ago turned out to be (unexpectedly) quite popular! I got ten times as many hits as usual the day it was published, and since then quite a few other people have created … Continue reading

Posted in arithmetic, links, pictures, primes, programming, recursion | Tagged , , | 15 Comments

Making a computer out of… dominoes?

When I mentioned carrying out computational processes with a room full of dominoes, I wasn’t kidding. Matt Parker is planning to build a domino computer at the Manchester Science Festival at the end of the month. The Manchester Science Festival … Continue reading

Posted in computation, links, video | Tagged , , , , , | 4 Comments