The next issue of the Carnival of Mathematics, rounding up blog posts from the month of April, and compiled by Colin Beveridge, is now online at Flying Colours Maths. The Carnival rounds up maths blog posts from all over the internet, including some from our own Aperiodical. See our Carnival of Mathematics page for more information.
Make math ¬ war: American military invests in homotopy type theory
The Homotopy Type Theory book was an ambitious attempt to relay the foundations of maths on a combination of type theory and topology. It also makes heavy use of computer proof-checking, which might be why the US Department of Defense is interested in it: they’ve just given Carnegie Mellon University’s Steve Awodey $7.5 million to continue the project.…
Puzzlebomb – May 2014
Puzzlebomb is a monthly puzzle compendium. Issue 29 of Puzzlebomb, for May 2014, can be found here: Puzzlebomb – Issue 29 – May 2014 The solutions to Issue 29 can be found here: Puzzlebomb – Issue 29 – May 2014 – Solutions Previous issues of Puzzlebomb, and their solutions, can be found here.
“Really Big Numbers” by Richard Evan Schwartz, the AMS’s first book for children
The American Mathematical Society has published its first book for children. It’s called Really Big Numbers. They’ve made a rather pleasant trailer for it. [youtube url=https://www.youtube.com/watch?v=cEOY9UAsCFM] It made me want to wait for the audiobook version: author Richard Evan Schwartz has a soothing Bob Ross-like voice. (Edit: turns out the voice is Alexander Dupuis) Really Big Numbers will be available…
A new recreational mathematics magazine from the Ludus Association
Imagine, if you will, a group of people who enjoy recreational mathematics and consequently decide that there should be more places for them to share fun maths. It’s crazy and unprecedented, I know, but humour me. Recreational Mathematics Magazine does what it says on the tin. It’s a semiannual electronic journal published by the Ludus Association…
Adventures in video abstracts
Here’s a fun thing I found: the Journal of Number Theory has a YouTube channel on which it publishes video abstracts of its papers. To my surprise, they’ve been doing it since 2008!
Rubik’s Cube is 40 years old
Invented in 1974, patented in 1975 and released for sale in Hungary in 1977, Rubik’s Cube could certainly be considered to have reached its 40th birthday this year. To celebrate, inventor Ernő Rubik has helped put together a special exhibition at Liberty Science Centre, New Jersey, celebrating the history of the hexahedral enigma. The exhibition, called…