On December 7, 2011, I gave my second talk about the Futurama Theorem during a Plymouth State University Mathematics Seminar. The Futurama Theorem is a theorem about the symmetric group that was developed for and proved in the episode “The Prisoner of Benda” for the TV show Futurama. The theorem was proved by show writer Ken Keeler, who has a PhD in applied mathematics from Harvard.

Image taken from http://theinfosphere.org/

The first time I gave a talk about this theorem was during the Mathematics Forum at Gordon College just few weeks earlier. You can find my blog post about my first talk by going here.

During the episode, Professor Farnsworth and Amy invent a mind swapping machine and after they swap minds, they realize that the machine cannot be used on the same pair of bodies again. After several characters swap minds, they are confronted with the problem of putting everyone’s mind back where it belongs. The Futurama Theorem proves that regardless of how many mind swaps have been made, all minds can be restored to their original bodies using only two extra people. If you want to know more, check out the slides.

The slides for the second talk are very similar to the first set, but there are a few differences:

  • The second talk is shorter. I trimmed a few things from the first talk that were not completely necessary.
  • I’ve improved the wording in a few spots.
  • In the second talk, multiplication of permutations is right to left.

As with the first talk, I used deck.js to create the slides. This allows you to view the slides directly in your web browser. To advance the slides, just use your arrow keys. Also, note that I used MathJax to typeset all of mathematical notation.

Dana C. Ernst

Mathematics & Teaching

  Northern Arizona University
  Flagstaff, AZ
  Google Scholar
  Impact Story

Current Courses

  MAT 220: Math Reasoning
  MAT 411: Abstract Algebra

About This Site

  This website was created using GitHub Pages and Jekyll together with Twitter Bootstrap.

  Unless stated otherwise, content on this site is licensed under a Creative Commons Attribution-Share Alike 4.0 International License.

  The views expressed on this site are my own and are not necessarily shared by my employer Northern Arizona University.

  The source code is on GitHub.