## HoTT Coq

Univalent Foundations Redefines Mathematics - "When a legendary mathematician found a mistake in his own work, he embarked on a computer-aided quest to eliminate human error. To succeed, he has to rewrite the century-old rules underlying all of mathematics." (previously)
posted by kliuless on Jun 9, 2015 - 13 comments

## 3Blue1Brown: Reminding the world that math makes sense

Understanding e to the pi i - "An intuitive explanation as to why e to the pi i equals -1 without a hint of calculus. This is not your usual Taylor series nonsense." (via via; reddit; previously)
posted by kliuless on Jun 6, 2015 - 28 comments

## Dynetzzle

A standard 6 sided die is a cube. It has eleven nets. The sum of the numbers on opposite faces of a die is 7.
posted by Elementary Penguin on Jan 30, 2014 - 26 comments

## binding the andat

Closing in on the twin prime conjecture (Quanta) - "Just months after Zhang announced his result, Maynard has presented an independent proof that pushes the gap down to 600. A new Polymath project is in the planning stages, to try to combine the collaboration's techniques with Maynard's approach to push this bound even lower."
posted by kliuless on Dec 1, 2013 - 16 comments

## What-If Numbers

XKCD/What If's Randall Munroe brings meaning to numbers. As a by-product. Of his day-to-day research. For your day-to-day entertainment.
posted by aniola on Feb 6, 2013 - 22 comments

## 47

47 is a magical number. It has appeared more than a few times on Star Trek, Alias, and in many films.
The 47 society is dedicated to exploring the phenomenon that is 47.
posted by finite on Sep 29, 2011 - 84 comments

## Finite formula found for partition numbers

New math theories reveal the nature of numbers [1,2] - "We prove that partition numbers are 'fractal' for every prime. These numbers, in a way we make precise, are self-similar in a shocking way. Our 'zooming' procedure resolves several open conjectures, and it will change how mathematicians study partitions." (/.|via)
posted by kliuless on Jan 22, 2011 - 45 comments

## I wonder if it's in NP?

Blood, guts, and glory in no holds barred MIT number fight.
posted by Alex404 on Feb 3, 2007 - 14 comments

## XXVII

27: About, Conspiracy theories regarding, Photographs of, Weird Al and
posted by Plutor on Apr 18, 2006 - 45 comments

Page: 1