##
7 posts tagged with numbers by kliuless.

Displaying 1 through 7 of 7.

## 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]

## 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

## SPAUN of the living

The simulated brain - "First computer model to produce complex behaviour performs almost as well as humans at simple number tasks." [1,2,3,4,5,etc.]

## 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]

Page:
1