##
11 posts tagged with Numbers *and* maths.

Displaying 1 through 11 of 11. Subscribe:

## The likelihood that there's interesting or important math is pretty high

Shinichi Mochizuki and the impenetrable proof - "Fesenko has studied Mochizuki's work in detail over the past year, visited him at RIMS again in the autumn of 2014 and says that he has now verified the proof. (The other three mathematicians who say they have corroborated it have also spent considerable time working alongside Mochizuki in Japan.) The overarching theme of inter-universal geometry, as Fesenko describes it, is that one must look at whole numbers in a different light — leaving addition aside and seeing the multiplication structure as something malleable and deformable. Standard multiplication would then be just one particular case of a family of structures, just as a circle is a special case of an ellipse." (previously: 1,2; via) [more inside]

## 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) [more inside]

## 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) [more inside]

## 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." [more inside]

## Proof and Community Standards

In August of last year, mathematician Shinichi Mochizuki reported that he had solved one of the great puzzles of number theory: the ABC conjecture (previously on Metafilter). Almost a year later, no one else knows whether he has succeeded. No one can understand his proof.

## Computerized Math, Formal Proofs and Alternative Logic

Using computer systems for doing mathematical proofs - "With the proliferation of computer-assisted proofs that are all but impossible to check by hand, Hales thinks computers must become the judge." [more inside]

## the power and beauty of mathematics

## Big (and small) Numbers

FatFonts creates numerical fonts where the amount of ink/pixels for each number is in direct proportion to its value.

## 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) [more inside]

## Prime Prize

In September 2006 the largest known prime number, a 9.8 million digit number, was discovered. If you find one over ten million digits you can win US$100,000 (of which you get to keep $50,000). No maths is required - just download the software and you're away. Warning: it takes about a month to run one primality check so some patience is required. Look out though Cooper and Boone look like they might beat you to it.

## Let's Party Like It's MCMXCIX

Page:
1